chiark / gitweb /
Remove useless use of cat causing pipefail problems
[modbot-ulm.git] / stump / doc /
drwxr-xr-x   ..
-rw-r--r-- 98 README
-rw-r--r-- 834 VERSION