chiark / gitweb /
strip spaces
-rw-r--r-- 73 .gitignore
-rw-r--r-- 697 Makefile
-rw-r--r-- 4911 Parse.pm
-rw-r--r-- 143 TODO
-rwxr-xr-x 9202 generate-board
-rwxr-xr-x 659 generate-plag
-rw-r--r-- 2755 input-graph
-rwxr-xr-x 414 maybe-rerun-optim
-rw-r--r-- 336 misc-data.pl
-rwxr-xr-x 166 parse-debug