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
..
2013-03-26 23:15:37 +01:00
2013-08-14 16:44:01 +02:00
2013-03-26 23:15:37 +01:00
2013-03-26 23:15:37 +01:00
2013-03-26 23:15:37 +01:00