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

(binary:image/png)