chiark / gitweb /
commentary: document new criterion introduced in ea5f3526c7c0
-rw-r--r-- 19 .gitignore
-rw-r--r-- 206 Makefile
-rw-r--r-- 19290 main.c