chiark / gitweb /
Move the HTML container out into a reworkable template file.
-rw-r--r-- 55 .gitignore
-rw-r--r-- 257 Makefile
-rw-r--r-- 5385 bounds.py
drwxr-xr-x - data
-rw-r--r-- 24239 main.c
-rwxr-xr-x 5983 partition.py
-rwxr-xr-x 7735 tabulate.py
-rw-r--r-- 417 template.html
-rwxr-xr-x 1156 test.pl