diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-06 12:45:02 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-06 12:45:02 +0200 |
| commit | b4324cefc5b0bbde1f28fdd8586f361cf8c8f432 (patch) | |
| tree | ec9e97f095f1014efb5ca9b10e3986e3a29abbfd /bin/build-master-status | |
| parent | c942452a032863a92f6eaf057de90eb840aa05a0 (diff) | |
| download | builder-b4324cefc5b0bbde1f28fdd8586f361cf8c8f432.tar.xz | |
bin/cleanup: remove old blocked-markers, too
Diffstat (limited to 'bin/build-master-status')
0 files changed, 0 insertions, 0 deletions