QTfrontend/res/radioButtonUncheckedPressed.png
author alfadur
Tue, 04 Jun 2019 23:19:18 +0300
changeset 15119 901751d3cd80
parent 13207 d948d39e5da8
permissions -rw-r--r--
make custom combinators high order

(binary:image/png)