QTfrontend/res/checkedPressed.png
author alfadur
Sat, 06 Jul 2019 22:04:59 +0300
changeset 15218 b2c086629fb8
parent 13207 d948d39e5da8
permissions -rw-r--r--
optimize 64-bit sqrt some more

(binary:image/png)