* Use wget timestamping feature to decide, if download is necessary. master
-rw-r--r-- 23 .gitignore
-rw-r--r-- 432 Makefile