Adam Dunkels 0d04db2b03 Merge pull request #428 from g-oikonomou/config-sanity
Remove unnecessary stuff from various Makefiles (Config Sanity, Pt 1)
2013-11-26 15:05:08 -08:00
..
2012-12-16 19:28:55 +00:00
2012-12-16 19:28:55 +00:00
2012-09-20 15:09:15 +01:00
2012-12-16 19:28:55 +00:00
2012-03-23 14:41:07 +00:00