chiark / gitweb /
run config.status with selective tags, better, docs
[subdirmk.git] / build-aux /
drwxr-xr-x   ..
-rwxr-xr-x 15155 install-sh