makefile renamed for happy Windows

This commit is contained in:
2015-08-26 14:34:52 +02:00
parent e29c9218f6
commit d871e659c0
View File