QTfrontend/res/Settings.png
author alfadur
Tue, 06 Nov 2018 23:45:54 +0300
changeset 14154 8e2e98760003
parent 10556 c4ca0fc00c3b
permissions -rw-r--r--
a bit more simplification without an apparent performance gain

(binary:image/png)