Philip Eisenlohr 3474800db1 switched coordinates default from "ipinitialcoords" (ugh) to "pos"		2016-04-15 14:04:10 -04:00
..
misc	cleaning	2016-03-03 14:53:55 +01:00
post	switched coordinates default from "ipinitialcoords" (ugh) to "pos"	2016-04-15 14:04:10 -04:00
pre	grouped command line options.	2016-04-08 17:47:02 -04:00