QTfrontend/res/radioButtonCheckedPressed.png
author alfadur
Thu, 04 Jul 2019 17:59:37 +0300
changeset 15211 924f7e38815e
parent 13207 d948d39e5da8
permissions -rw-r--r--
optimize fpnum operations

(binary:image/png)