diff options
author | Erich Eckner <git@eckner.net> | 2019-05-04 10:04:33 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-05-04 10:04:33 +0200 |
commit | a45ffd7e5311c62c42bffd27d492746f6433e57a (patch) | |
tree | f736a0b8eb1c046ffc684f86141aa7511d9400dd /bin/update-pacman-dbs | |
parent | b1166c7aa420a659199b79a1478d2226b4badd96 (diff) | |
download | builder-a45ffd7e5311c62c42bffd27d492746f6433e57a.tar.xz |
bin/prioritize-build-list: when -d given: run until no more priorities change
Diffstat (limited to 'bin/update-pacman-dbs')
0 files changed, 0 insertions, 0 deletions