Julius Pfrommer 50a404f0e8 Merge branch '0.2' 7 years ago
..
travis_linux_after_success.sh e9925b23bc push docs on master; 0.2 release has a separate docs folder 7 years ago
travis_linux_before_install.sh 7b2577323c Testing docker build 7 years ago
travis_linux_script.sh f4c9e78d62 Remove UA_BUILD_DOCUMENTATION switch 7 years ago
travis_osx_before_install.sh 084bda7847 use graphviz to generate figures in documentation 8 years ago
travis_osx_script.sh f4c9e78d62 Remove UA_BUILD_DOCUMENTATION switch 7 years ago
travis_push_coverity.sh af362f0a2a push 0.2 to coverity_scan without forcing 8 years ago
travis_push_doc.sh fbfd7e14d6 fix: mkdir command failed during push_docs 8 years ago
travis_push_release.sh a092e67f93 improve travis scripts 8 years ago