]> granicus.if.org Git - graphviz/commit
remove lefty-grace contrib tool
authorMatthew Fernandez <matthew.fernandez@gmail.com>
Sun, 22 Jan 2023 00:41:42 +0000 (16:41 -0800)
committerMatthew Fernandez <matthew.fernandez@gmail.com>
Thu, 26 Jan 2023 03:16:19 +0000 (19:16 -0800)
commitf19cb4eb964b6c86200c410cd8d8ff2f62eb1d20
tree8d9ae9f77e3d9ba4eb1db2ee6ee557feb9e9ee22
parent28eb2b78077def787612d69cd6423e71744f1219
remove lefty-grace contrib tool

This tool was an enhancement to Lefty that was removed in
b2f287ca315dd5bf689d9ce2ca71dbfe63fb8a61.
contrib/INDEX
contrib/Makefile.am
contrib/lefty-grace/README [deleted file]
contrib/lefty-grace/dotty.lefty [deleted file]
contrib/lefty-grace/dotty_draw.lefty [deleted file]
contrib/lefty-grace/dotty_edit.lefty [deleted file]
contrib/lefty-grace/dotty_ui.lefty [deleted file]