diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-04 09:27:19 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-04 09:27:19 +0200 |
| commit | d7606faf5a268e88c10a5e1b1b542fe8e77aeae4 (patch) | |
| tree | e71363a17af8d80c56a0388c1e80e679a384d4cc /bin/cleanup | |
| parent | 7cf95815d55c0550566714e8359ee486dec5f884 (diff) | |
| download | builder-d7606faf5a268e88c10a5e1b1b542fe8e77aeae4.tar.xz | |
bin/sanity-check: check for build-orders on deletion-list
Diffstat (limited to 'bin/cleanup')
0 files changed, 0 insertions, 0 deletions