Philip Eisenlohr 7c72ede29d now works properly for labels specified as index (instead of string)		2016-03-27 16:29:45 -04:00
..
misc	cleaning	2016-03-03 14:53:55 +01:00
post	now works properly for labels specified as index (instead of string)	2016-03-27 16:29:45 -04:00
pre	new printing for python3 and corrected help	2016-03-23 17:02:51 +01:00