chiark / gitweb /
Add buildd-reboot script
authorPeter Palfrader <peter@palfrader.org>
Fri, 23 Oct 2009 17:58:12 +0000 (19:58 +0200)
committerPeter Palfrader <peter@palfrader.org>
Fri, 23 Oct 2009 17:58:12 +0000 (19:58 +0200)
commit205d6d70eb332f0e2070abff5750b7ea34ad4795
tree92446a22dbd3dcf0dab1fa302db400164a6a33bb
parentc5a17a1509c162dfee1d27441fd3f5597d1fad34
Add buildd-reboot script
Makefile
buildd-reboot [new file with mode: 0755]
debian/changelog