chiark / gitweb /
graphviz: label the winning node(s)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 6 Feb 2014 00:56:52 +0000 (00:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 6 Feb 2014 00:56:52 +0000 (00:56 +0000)
commit19150655609ade77a0687da8afe2b14f871e49ff
tree9aa910a622ffab3037aa8e96fd4aa748d0e9ec74
parent356d23508e473ae7e17fb3c56fde5207b7dca46e
graphviz: label the winning node(s)
compute