diff options
| author | Erich Eckner <git@eckner.net> | 2018-10-11 14:04:54 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-10-11 14:04:54 +0200 |
| commit | a5830aab8f41ca826f7fe521f6368236fd619611 (patch) | |
| tree | 473f6536fcfb39343bade410ab8669dbf7c8e43d /misc/.gitignore | |
| parent | 56ed9475afc3973763e8c62d61e52e00b4386a4a (diff) | |
| download | builder-a5830aab8f41ca826f7fe521f6368236fd619611.tar.xz | |
bin/get-assignment: do not skip forced-assignments if the first of them is unavailable
Diffstat (limited to 'misc/.gitignore')
0 files changed, 0 insertions, 0 deletions