chiark / gitweb /
buildd-reboot: Write 'delete-on-reboot' to no-daemon-please only when the buildd...
-rw-r--r-- 802 .gitignore
-rw-r--r-- 219 Makefile
-rwxr-xr-x 3900 apache2-vhost-update
-rwxr-xr-x 3302 buildd-reboot
drwxr-xr-x - debian
-rwxr-xr-x 378 upgrade-porter-chroots