chiark / gitweb /
Update buildd-reboot script to also stop buildd2
authorPeter Palfrader <peter@palfrader.org>
Sat, 5 Jul 2014 13:23:03 +0000 (15:23 +0200)
committerPeter Palfrader <peter@palfrader.org>
Sat, 5 Jul 2014 13:23:03 +0000 (15:23 +0200)

No differences found