Julius Pfrommer 5b89dbaad0 Merge branch '0.2' il y a 7 ans
..
travis_linux_after_success.sh 70ca2b0a2e fix pushing nightly builds by travis; use coverity on 0.2 branch il y a 8 ans
travis_linux_before_install.sh 4f93f53c23 add clang-tidy for linting il y a 8 ans
travis_linux_script.sh 5b89dbaad0 Merge branch '0.2' il y a 7 ans
travis_osx_before_install.sh 084bda7847 use graphviz to generate figures in documentation il y a 8 ans
travis_osx_script.sh 9f2b7ffcc8 Merge branch '0.2' il y a 8 ans
travis_push_coverity.sh af362f0a2a push 0.2 to coverity_scan without forcing il y a 8 ans
travis_push_doc.sh fbfd7e14d6 fix: mkdir command failed during push_docs il y a 8 ans
travis_push_release.sh 6e209a35b7 add pdf doc to nightly releases il y a 8 ans