chiark / gitweb /
graphviz: label the winning node(s)
-rw-r--r-- 3 .gitignore
-rwxr-xr-x 10860 compute