chiark / gitweb /
497226d2a8c5b1f115c5e56ae7a03c2ce47fce58
-rw-r--r-- 66 .gitignore
-rw-r--r-- 117 Subdir.mk.expected
-rw-r--r-- 70 Subdir.sd.mk
-rwxr-xr-x 328 check
-rwxr-xr-x 3768 extract-doctest
-rw-r--r-- 434 main.mk.expected
drwxr-xr-x - sub
-rwxr-xr-x 443 update-expected