Franz Roters 0c24f113c1 split overlong line		2017-10-20 10:14:15 +02:00
..
misc	now more flexible, works for synthetic data and user selected data	2016-11-06 23:07:12 +01:00
post	added "--quiet" option to suppress online messaging	2017-10-03 14:03:50 -04:00
pre	split overlong line	2017-10-20 10:14:15 +02:00