QTfrontend/res/radioButtonUnchecked.png
author alfadur
Wed, 21 Sep 2022 06:36:05 +0300
branch1.0.0
changeset 15895 f8a3f204242d
parent 13207 d948d39e5da8
permissions -rw-r--r--
fix pred/succ conversion

(binary:image/png)