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