Julius Pfrommer 08ed7dcf14 Merge branch '0.2' hace 8 años
..
travis_linux_after_success.sh df81d62f0e push docs only for non-PR builds hace 8 años
travis_linux_before_install.sh a13e610972 Travis fold log hace 8 años
travis_linux_script.sh 8c3d2e19a4 Merge branch '0.2' hace 8 años
travis_osx_before_install.sh 084bda7847 use graphviz to generate figures in documentation hace 8 años
travis_osx_script.sh dae5d3363c Move bin dir to build dir hace 8 años
travis_push_coverity.sh af362f0a2a push 0.2 to coverity_scan without forcing hace 8 años
travis_push_doc.sh fbfd7e14d6 fix: mkdir command failed during push_docs hace 8 años
travis_push_release.sh 4fa7545db1 fix travis nightly builds hace 8 años