]> git.packet-gain.de Git - gjedict.git/tree
* Use wget timestamping feature to decide, if download is necessary.
-rw-r--r-- 23 .gitignore
-rw-r--r-- 432 Makefile