John J. Camilleri 34e89ac710 Put GF logo on the right again

2018-12-03 15:27:55 +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

Update clean_html to handle markdown sources too

2018-12-03 10:49:37 +01:00

gfmap

…

template.html

Put GF logo on the right again

2018-12-03 15:27:55 +01:00

update_html

Rename _template.html to template.html

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