bin/db-update: do not rename, rather rm and ln -s - to keep the file date up-to-date - builder

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)

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