Philip Eisenlohr 784c78a3b0 removed defunct option to output labels as column vector.		2015-12-04 04:31:53 +00:00
..
misc	unified style and other minor improvements	2015-10-15 19:51:27 +00:00
post	removed defunct option to output labels as column vector.	2015-12-04 04:31:53 +00:00
pre	small polishing	2015-12-04 01:16:49 +00:00