diff options
| author | Erich Eckner <git@eckner.net> | 2020-03-20 16:40:20 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-03-20 16:40:20 +0100 |
| commit | d557887db8c168cb637edc2a4cada866700abcd3 (patch) | |
| tree | 97b273ce6229a32e8d9f4b3a3469a38924a22a58 /bin/get-assignment | |
| parent | 63ad7b9cb8f54b9df23f310f26aa23fe63ecb6b5 (diff) | |
| download | builder-d557887db8c168cb637edc2a4cada866700abcd3.tar.xz | |
bin/db-update: do not rename, rather rm and ln -s - to keep the file date up-to-date
Diffstat (limited to 'bin/get-assignment')
0 files changed, 0 insertions, 0 deletions