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 /web-scripts | |
| parent | 90a901dd785c216c4000b23352f2b0bf278ae231 (diff) | |
| download | builder-b72d5fcdc6ea158edef7b3127d1edd00882ae992.tar.xz | |
bin/get-assignment: rely on database - kick out state file stuff :-)
Diffstat (limited to 'web-scripts')
0 files changed, 0 insertions, 0 deletions