Making converter a cmd line script instead of a file that must be edited to be used#172
Merged
ptrbortolotti merged 3 commits intomainfrom Jan 16, 2026
Merged
Making converter a cmd line script instead of a file that must be edited to be used#172ptrbortolotti merged 3 commits intomainfrom
ptrbortolotti merged 3 commits intomainfrom
Commits
Commits on Dec 10, 2025
- committed
