diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-01 14:28:08 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-01 14:28:08 +0100 |
| commit | abf2c85b1d4b87a04dbb8d0d707f84308838861f (patch) | |
| tree | 5706d1796dc5b47652620c9ce8c49d9cc39f8d70 /.gitignore | |
| parent | 94d523412cc6818c6e898f0213ec00695c404836 (diff) | |
| download | builder-abf2c85b1d4b87a04dbb8d0d707f84308838861f.tar.xz | |
bin/prioritize-build-list: set priority in database
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions