03-14-2021, 06:10 PM
Hi,
This problem has been fixed now. The fix will be included in the next Ludii release.
Regards,
Cameron
This problem has been fixed now. The fix will be included in the next Ludii release.
Regards,
Cameron