diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-13 10:26:35 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-13 10:26:35 +0200 |
| commit | ef1582777fff756ed391b403266b3bbbabb182a0 (patch) | |
| tree | 5206fb6eea39cac7f51cead224ad40d9909efe8c /conf | |
| parent | 79ee1532e6b4bc23a23398f7d60442feddb85b72 (diff) | |
| download | builder-ef1582777fff756ed391b403266b3bbbabb182a0.tar.xz | |
bin/get-assignment, bin/return-assignment: clean up some "grep -l" occurences
Diffstat (limited to 'conf')
0 files changed, 0 insertions, 0 deletions