diff options
| author | Erich Eckner <git@eckner.net> | 2017-07-03 10:14:14 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-07-03 10:14:14 +0200 |
| commit | fcfd7abfeb7dda72de365eb20038a9378301ccc5 (patch) | |
| tree | e90d8e99e5ffac39218b27edf9ff3f1c0cd4a80b /bin/prioritize-build-list | |
| parent | f374df980982f59185a3de2b9cef8164bf837593 (diff) | |
| download | builder-fcfd7abfeb7dda72de365eb20038a9378301ccc5.tar.xz | |
bin/seed-build-list: actually append new content to build-list (and get a lock for that)
Diffstat (limited to 'bin/prioritize-build-list')
0 files changed, 0 insertions, 0 deletions