BUGFIX: removed side effect from getting the user's preferences: the language used...
[e-DoKo.git] / pics / arrow0.png
pics/arrow0.png