diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-08 09:29:59 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-08 09:29:59 +0200 |
| commit | 6a98dad57677f20a491d0dc4a09a88ed853959dd (patch) | |
| tree | cba63c5af68f440ba9faa031bbaabe76acf763a0 /LICENSE | |
| parent | 8bc44560983956a18f5c5e4b896f291378a063d1 (diff) | |
| download | builder-6a98dad57677f20a491d0dc4a09a88ed853959dd.tar.xz | |
bin/get-assignment: remove old state files on handing out new assignment
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions