mirror of
https://github.com/peterosterlund2/droidfish.git
synced 2024-11-28 06:29:09 +01:00
7ba629047a
is now handled as a normal UCI option instead. |
||
---|---|---|
.. | ||
preferences.xml |