Thomas Hallgren 883a7a95a1 build-binary-dist.sh: make it easy to choose which version of ghc to use

2018-12-01 15:53:27 +01:00

..

build-binary-dist.sh

build-binary-dist.sh: make it easy to choose which version of ghc to use

2018-12-01 15:53:27 +01:00

clean_html

pre and post HTML templates for all txt2tags conversions

2018-10-31 15:47:12 +01:00

gfmap

Final changes before the release of GF 3.9

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

template.html

Custom CSS comes after libraries; add include-before/after (not actively used)

2018-11-29 13:06:52 +01:00

update_html

Rename _template.html to template.html

2018-11-29 10:35:43 +01:00