chiark / gitweb /
Merge remote-tracking branch 'remotes/dgit/dgit/sid'
-rw-r--r-- 303 .gitignore
-rw-r--r-- 35068 COPYING
-rw-r--r-- 314 TODO
drwxr-xr-x - backup
drwxr-xr-x - cprogs
drwxr-xr-x - debian
drwxr-xr-x - scripts
-rw-r--r-- 1828 settings.make
drwxr-xr-x - sync-accounts