Philip Eisenlohr c80b02dd72 avoid reporting "none" as STDIN filename		2017-01-19 15:10:17 +01:00
..
misc	now more flexible, works for synthetic data and user selected data	2016-11-06 23:07:12 +01:00
post	avoid reporting "none" as STDIN filename	2017-01-19 15:10:17 +01:00
pre	fixed nasty ABS that caused wrong packing for 1,2,1,1,1,... and the like	2016-12-25 12:39:49 -05:00