chiark / gitweb /
put edges in dual both ways, and filter in dot output
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 8 Feb 2019 21:44:50 +0000 (21:44 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 8 Feb 2019 21:44:50 +0000 (21:44 +0000)
commit9709a68b6e08aa941c6bb84e392eef0f1162d009
tree31ebe7d32f67f30e82af4f3a67eeaee13aa6a67b
parent1a55c025c0e4011bfae63bed87383b18f8105b18
put edges in dual both ways, and filter in dot output
parse-input-graph