04-18-2023, 11:32 AM
Hi,
Thanks for this!
All your fixes seem to work well. I applied them to our dev version of Ludii. This will be in the next release.
Regards,
Eric
Thanks for this!
All your fixes seem to work well. I applied them to our dev version of Ludii. This will be in the next release.
Regards,
Eric