chiark / gitweb /
break out preconsider_ok
-rw-r--r-- 8 .gitignore
-rw-r--r-- 114 Makefile
-rw-r--r-- 11808 main.c