Jan-Erik Rediger 907c4b34b0 trim text on both ends		2024-11-03 11:48:06 +01:00
texttools.py	import texttools, python version	2024-10-29 19:27:45 +01:00
texttools.tcl	trim text on both ends	2024-11-03 11:48:06 +01:00