diff options
author | Erich Eckner <git@eckner.net> | 2018-10-08 09:06:51 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-10-08 09:06:51 +0200 |
commit | 4813679d86b9628f428976929552523521bc541b (patch) | |
tree | dc52f15e4a623ec18574fbfe6c9236078abb7dd3 /bin/repo-copy | |
parent | 7d1b1520e40a502f3dea06202bb0dcb7815e4fa0 (diff) | |
download | builder-4813679d86b9628f428976929552523521bc541b.tar.xz |
bin/get-assignment: double check, that next_building is not empty
Diffstat (limited to 'bin/repo-copy')
0 files changed, 0 insertions, 0 deletions