chiark / gitweb /
dgit now uses just curl, not wget master
-rw-r--r-- 249 .gitignore
-rw-r--r-- 362 Makefile
-rwxr-xr-x 4429 apache2-vhost-update
-rwxr-xr-x 3180 apt-in-chroot
-rwxr-xr-x 3723 buildd-reboot
drwxr-xr-x - debian
-rwxr-xr-x 269 make-deb
-rwxr-xr-x 2434 portforwarder-ssh-wrap
-rwxr-xr-x 121 remoteuser-hack
-rwxr-xr-x 444 upgrade-porter-chroots