chiark / gitweb /
space: Fix --check.
[misc] / debian /
drwxr-xr-x   ..
-rw-r--r-- 195 .gitignore
-rw-r--r-- 594 changelog
-rw-r--r-- 3123 control
-rw-r--r-- 724 copyright
-rw-r--r-- 1482 inst
-rwxr-xr-x 1032 rules