chiark / gitweb /
graphviz, etc.: do not skip dropped nodes when generating defeats, so that they end...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 6 Feb 2014 00:56:31 +0000 (00:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 6 Feb 2014 00:56:31 +0000 (00:56 +0000)
commit356d23508e473ae7e17fb3c56fde5207b7dca46e
tree37af817f4e761a2bd90b032d35e4d559be340b26
parente5c24b79ac36b180c27dce8c0ee780c08a63f979
graphviz, etc.: do not skip dropped nodes when generating defeats, so that they end up in the display graph.  Delete them from the real graph later.
compute