Skip to content
  • Klaus Weidenbach's avatar
    👷 Add Travis' GitHub deployment steps. · 5c080ca4
    Klaus Weidenbach authored
    Changed API documentation deployment to gh_pages to Travis's GitHub Pages
    deployment.
    Also add Travis GitHub Release Deployment step to offer API
    documentation.
    Both steps are optional and need to be activated in Travis by setting
    GH_TOKEN.
    5c080ca4