chiark / gitweb /
doctests: Rename `desc' etc. in extract-doctest from `rubric'
[subdirmk.git] / tests / intree /
drwxr-xr-x   ..
-rw-r--r-- 8 .gitignore
-rwxr-xr-x 175 check