diff options
| author | Erich Eckner <git@eckner.net> | 2018-04-11 12:28:59 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-04-11 12:28:59 +0200 |
| commit | 79666dac7e414455e2588dc83bf2a1e225ccc9fd (patch) | |
| tree | d474d96e5dc8509676fb028af8bbf443f0476c50 /bin/seed-build-list | |
| parent | 9e24e58c2294547bb03b8b1ba7bcfbb899d41b27 (diff) | |
| download | builder-79666dac7e414455e2588dc83bf2a1e225ccc9fd.tar.xz | |
bin/build-master-status: skip creation of todos.html
Diffstat (limited to 'bin/seed-build-list')
0 files changed, 0 insertions, 0 deletions