chiark / gitweb /
Switch to git. Move .cvsignores to .gitignore, etc.
-rw-r--r-- 10 .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-- 1810 settings.make
drwxr-xr-x - sync-accounts