diff options
author | Erich Eckner <git@eckner.net> | 2018-01-31 12:01:21 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-31 12:01:21 +0100 |
commit | b72d5fcdc6ea158edef7b3127d1edd00882ae992 (patch) | |
tree | 99708441ce7b6462fd7d12e13f311956ccc85a26 /bin/build-master-status | |
parent | 90a901dd785c216c4000b23352f2b0bf278ae231 (diff) | |
download | builder-b72d5fcdc6ea158edef7b3127d1edd00882ae992.tar.xz |
bin/get-assignment: rely on database - kick out state file stuff :-)
Diffstat (limited to 'bin/build-master-status')
0 files changed, 0 insertions, 0 deletions