diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-13 09:11:58 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-13 09:11:58 +0200 |
| commit | e6f5ba6b2baafe8786519452dcfeb87624bec016 (patch) | |
| tree | b06c0c51850829965756eca2bf572b849aa034c8 /.gitignore | |
| parent | b86d5109e0ae3c3d1a75edc93b7e791bedc55e3a (diff) | |
| download | builder-e6f5ba6b2baafe8786519452dcfeb87624bec016.tar.xz | |
bin/get-assignment: check arguments; cleanup
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions