bnnm 9a2d2c0a7a txtp-segmenter: tweaks

2023-02-26 00:18:01 +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: output name tweak

2023-02-05 22:23:51 +01:00

txtp_segmenter.py

txtp-segmenter: tweaks

2023-02-26 00:18:01 +01:00

vrts.py

vrts: diff option

2023-02-17 01:01:48 +01:00