* Slightly improved Makefile.
authorUrban Wallasch <urban.wallasch@freenet.de>
Sun, 17 Nov 2019 17:43:02 +0000 (18:43 +0100)
committerUrban Wallasch <urban.wallasch@freenet.de>
Sun, 17 Nov 2019 17:43:02 +0000 (18:43 +0100)
commit330d269eaa69132877bd719efe18a8db99549363
tree179e5585824e91c42aaff1f10784ebc1351173e5
parent73f5d04f69dc9b77210633017d46f89ed80156ff
* Slightly improved Makefile.
Makefile