3 years ago Stefan Sperling

rename linux_Makefile to GNUmakefile; GNU make picks this up automatically

4 years ago Neels Hofmeyr

initial commit