bnnm 12e6e9713b vrts: diff option		2023-02-17 01:01: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: output name tweak	2023-02-05 22:23:51 +01:00
txtp_segmenter.py	txtp_segmenter: add inline command	2022-08-06 20:51:54 +02:00
vrts.py	vrts: diff option	2023-02-17 01:01:48 +01:00