08-19-2021, 09:25 PM
Hi Quentin,
In the next version of Ludii, you will be able to change this format using the Move Format option in the advanced preferences tab.
Cheers,
Matthew
In the next version of Ludii, you will be able to change this format using the Move Format option in the advanced preferences tab.
Cheers,
Matthew