Veeck 8c3cb1c5dd Issue 2343: Fix github.io page (#2443) ...

* Add script to prepare and deploy gh-pages

* Cleanup other script names

* Only copy neccessary files

* More copying and cleanups

* Switch to gulp

* Update dependencies

* Make that gulp flow actually work

* Update README

2019-06-25 00:11:16 +02:00

..

.coveralls.yml

Cleanups after switch to gulp, move some legacy files into own directory for reference, store some test files in tmp directory

2019-05-16 11:55:53 +02:00

Gruntfile.js

Issue 2343: Fix github.io page (#2443)

2019-06-25 00:11:16 +02:00