Revision 883894a3a6a6e9e15c0aa350c899e5a183dd5201

Committed on 18/12/2023 5:41 am by Luca Realdi <[email protected]> [GitHub Diff]

Add translator batch script

Share your information