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