Jim Derry feb0811ba2 Use the new tidyPlatform() in console, and fix (!!) bug where no platform is defined.		2017-10-19 17:16:59 -04:00
..
tab2space.c	Rename two headers. Issues #224 #223 #221	2015-06-30 20:06:02 +02:00
test71.cxx	Rename two headers. Issues #224 #223 #221	2015-06-30 20:06:02 +02:00
tidy.c	Use the new tidyPlatform() in console, and fix (!!) bug where no platform is defined.	2017-10-19 17:16:59 -04:00