chiark / gitweb /
git-branchmove: new script, still work in progress
-rw-r--r-- 319 .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-- 1894 settings.make
drwxr-xr-x - sync-accounts