Nik625 81958f67ca Support of PercentDeadband feature il y a 6 ans
..
travis_linux_after_success.sh b4c8443fa9 CI: Remove coverity since it does not integrate well. il y a 5 ans
travis_linux_before_install.sh 16f6bf05bd CI: Check for empty LOCAL_PKG to avoid running `rm -rf /` il y a 6 ans
travis_linux_script.sh 81958f67ca Support of PercentDeadband feature il y a 5 ans
travis_osx_before_install.sh 7064b7315e CI: Fix valgrind installation on newer MacOS X il y a 6 ans
travis_osx_script.sh 17e5f6cba4 CI: Sort CMake options alphabetically il y a 5 ans
travis_push_doc.sh bc06700953 Fix latex doc path il y a 6 ans
travis_push_release.sh 66d2654c6e Add debian packaging configuration il y a 5 ans