Pietro Gagliardi 0bca3e21da Even more old build tools removal. Next will be a one-fell-swoop thing.		2016-06-04 15:52:55 -04:00
..
GNUfiles.mk	Pushed all the build files elsewhere. I'm rewriting the CMakeLists files from scratch.	2016-06-03 00:29:31 -04:00