Julius Pfrommer 63c027b03e Merge branch '0.2' into merge_02_timing лет назад: 7
..
travis_linux_after_success.sh e9925b23bc push docs on master; 0.2 release has a separate docs folder лет назад: 7
travis_linux_before_install.sh 7b2577323c Testing docker build лет назад: 7
travis_linux_script.sh 204cd85b5d Fix travis not erroing on build fail лет назад: 7
travis_osx_before_install.sh 084bda7847 use graphviz to generate figures in documentation лет назад: 8
travis_osx_script.sh 63c027b03e Merge branch '0.2' into merge_02_timing лет назад: 7
travis_push_coverity.sh af362f0a2a push 0.2 to coverity_scan without forcing лет назад: 7
travis_push_doc.sh 02746b7625 do not push in PR from forks лет назад: 7
travis_push_release.sh 02746b7625 do not push in PR from forks лет назад: 7