chiark / gitweb /
Merge branch 'master' of git.distorted.org.uk:public-git/misc
[misc] / debian /
drwxr-xr-x   ..
-rw-r--r-- 195 .gitignore
-rw-r--r-- 2829 changelog
-rw-r--r-- 4007 control
-rw-r--r-- 724 copyright
-rw-r--r-- 1734 inst
-rwxr-xr-x 1032 rules