* Use wget timestamping feature to decide, if download is necessary. master
authorUrban Wallasch <urban.wallasch@freenet.de>
Wed, 31 Mar 2021 09:55:56 +0000 (11:55 +0200)
committerUrban Wallasch <urban.wallasch@freenet.de>
Wed, 31 Mar 2021 09:55:56 +0000 (11:55 +0200)
commit23f4072cc4a0591202da9c3b04e3a01cedf7767f
tree2b6c9d084b08256f720577d71e3832e2ef096f94
parentaff5625d2f43736516847f472992f13d50302a9f
* Use wget timestamping feature to decide, if download is necessary.
Makefile