QTfrontend/res/Videos.png
author sheepluva
Sun, 02 Oct 2016 12:42:16 +0200
changeset 11862 fbe9bb9602eb
parent 7643 97b98bcfd056
child 12221 c6034081cac2
permissions -rw-r--r--
also update ghc info in INSTALL file
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7643
97b98bcfd056 Differentiate videos from demos - navigating between them was too confusing. BTW, why is this on the front page, instead of next to the demos button?
nemo
parents:
diff changeset
     1
(binary:image/png)