chiark / gitweb /
cope with name change of plag-mangle from planar-graph
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 21:02:58 +0000 (21:02 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 3 Mar 2019 21:02:58 +0000 (21:02 +0000)
commitff3499ff678cfc5c513bd9f5e9360dc0d7592654
treea48035e114acaad7e5a6b6389da4f200064fe2a8
parent4926403d0ab50e3884392fc98b7293f5b0de4389
cope with name change of plag-mangle from planar-graph
Makefile
find-plag
generate-plag