Elias Bachaalany 5f9a8bc8a1 idxtool: '--rename' takes no arguments now ...

it tries to rename files that have no GPTID prefix.

2023-12-17 11:05:45 -08:00

..

launch.json

idxtool: '--rename' takes no arguments now

2023-12-17 11:05:45 -08:00