chiark / gitweb /
rename text files to end in .txt in www
-rw-r--r-- 194 .gitignore
-rw-r--r-- 34520 AGPLv3
-rw-r--r-- 20004 CC-BY-4.0
-rw-r--r-- 20342 CC-BY-SA-4.0
-rw-r--r-- 35147 GPL-3
-rw-r--r-- 5604 Makefile
-rw-r--r-- 6612 Parse.pm
-rw-r--r-- 1092 Permissive-licence-for-Pandemic-Rising-Tide-folks
-rw-r--r-- 2114 README
-rw-r--r-- 6120 cmyk.ps
lrwxrwxrwx 21 final.pdf -> board-pa1m-bPageP.pdf
-rwxr-xr-x 518 find-plag
-rwxr-xr-x 30317 generate-board
-rwxr-xr-x 2303 generate-plag
-rw-r--r-- 3538 input-graph
-rw-r--r-- 59 layout-test-prefix-a1.ps
-rw-r--r-- 76 layout-test-prefix-b.ps
-rw-r--r-- 77 layout-test-prefix-m.ps
-rw-r--r-- 77 layout-test-prefix-t.ps
-rwxr-xr-x 2021 maybe-rerun-optim
-rw-r--r-- 3033 misc-data.pl
-rwxr-xr-x 1742 parse-debug