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