QTfrontend/res/PlaySound.png
author sheepluva
Sun, 02 Oct 2016 12:42:16 +0200
changeset 11862 fbe9bb9602eb
parent 10556 c4ca0fc00c3b
child 12246 4c717a69a7a6
permissions -rw-r--r--
also update ghc info in INSTALL file

(binary:image/png)