Jan-Erik Rediger ede3d39dd5 import texttools, python version		2024-10-29 19:27:45 +01:00
texttools.py	import texttools, python version	2024-10-29 19:27:45 +01:00