chiark / gitweb /
wip Makefile etc.
-rw-r--r-- 70 .gitignore
-rw-r--r-- 519 Makefile
-rw-r--r-- 5047 reality.fig