mcarton 495f4bbf9f Fix Travis not pushing gh-pages for tags ... Turns out $TRAVIS_BRANCH is the tag name for tags.		2016-08-17 15:25:21 +02:00
..
deploy_key.enc	Setup automatic push of gh-pages	2016-07-19 21:26:16 +02:00
deploy.sh	Fix Travis not pushing gh-pages for tags	2016-08-17 15:25:21 +02:00
ISSUE_TEMPLATE.md	Add a issue template and specify a *recent* nightly is needed	2016-06-10 13:47:47 +02:00