Philip Eisenlohr f825e91bf1 script to straighten numbering in geom		2017-08-23 14:08:11 -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	script to straighten numbering in geom	2017-08-23 14:08:11 -04:00