chiark / gitweb /
a243d1aaa5d9376aa05f3cecfc615e4a173c4e23
-rw-r--r-- 18 .gitignore
-rw-r--r-- 97 Subdir.mk.expected
-rw-r--r-- 33 Subdir.sd.mk
-rwxr-xr-x 147 check
-rw-r--r-- 229 main.mk.expected
-rwxr-xr-x 293 update-expected