chiark / gitweb /
0360de0ae137a980784e90bca323f66dbdc0c0cc
-rw-r--r-- 66 .gitignore
-rw-r--r-- 117 Subdir.mk.expected
-rw-r--r-- 69 Subdir.sd.mk
-rwxr-xr-x 328 check
-rwxr-xr-x 3768 extract-doctest
-rw-r--r-- 388 main.mk.expected
drwxr-xr-x - sub
-rwxr-xr-x 443 update-expected