Philip Eisenlohr 91c70fc823 sharpened error detection and reporting		2017-08-16 12:51:32 -04:00
..
misc	now more flexible, works for synthetic data and user selected data	2016-11-06 23:07:12 +01:00
post	sharpened error detection and reporting	2017-08-16 12:51:32 -04:00
pre	fixed wrong name for "pos" options destination	2017-08-15 16:11:21 -04:00