4 years ago cc5f4ee87b Stefan Sperling

rename linux_Makefile to GNUmakefile; GNU make picks this up automatically

4 years ago 3b0f3d6191 Neels Hofmeyr

initial commit