bnnm 85745d77c3 Tweaks		2022-02-13 21:18:48 +01:00
..
txtm_finder.py	Move txtp_*.py scripts to ./tools/ for clarity	2021-05-17 01:04:57 +02:00
txtp_dumper.py	Tweaks	2022-02-13 21:18:48 +01:00
txtp_maker.py	txtp-maker: rename dupes by default, cut longnames	2021-12-31 16:11:22 +01:00
txtp_segmenter.py	Tweaks	2022-02-13 21:18:48 +01:00