chiark / gitweb /
improvements
-rw-r--r-- 79 .gitignore
-rw-r--r-- 614 Makefile
-rw-r--r-- 3484 new.fig
-rw-r--r-- 1760 old.fig
-rw-r--r-- 686 title.fig