chiark / gitweb /
add faces.plag
-rw-r--r-- 65 .gitignore
-rw-r--r-- 572 Makefile
-rw-r--r-- 4429 Parse.pm
-rw-r--r-- 143 TODO
-rwxr-xr-x 637 generate-board
-rwxr-xr-x 780 generate-plag
-rw-r--r-- 2752 input-graph
-rwxr-xr-x 414 maybe-rerun-optim