chiark / gitweb /
Add a -v option.
-rw-r--r-- 55 .gitignore
-rw-r--r-- 257 Makefile
-rw-r--r-- 4972 bounds.py
-rw-r--r-- 20512 main.c
-rwxr-xr-x 5825 partition.py
-rwxr-xr-x 4251 print.py
-rwxr-xr-x 1156 test.pl