John J. Camilleri 2dc11524fc Remove RGL from build, use 'cabal v1-' commands

2020-11-16 22:42:13 +01:00

..

build-binary-dist.sh

Remove RGL from build, use 'cabal v1-' commands

2020-11-16 22:42:13 +01:00

clean_html

Add some documentation to update_html

2018-12-06 13:47:50 +01:00

gfmap

Final changes before the release of GF 3.9

2017-08-11 21:11:24 +02:00

template.html

(Homepage) Change link of video tutorials to a page + small fixes

2020-08-30 20:53:59 +02:00

update_html

update_html rewrites anchors which Pandoc 1.16 doesn't process

2019-05-06 08:45:07 +02:00