Philip Eisenlohr 255a465e8b sharpened error detection and reporting		2017-08-16 15:18:29 -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 15:18:29 -04:00
pre	fixed wrong name for "pos" options destination	2017-08-15 16:11:21 -04:00