Adriaan de Groot 762ad54344 Documentation: change http links to GitHub to https 7 years ago
..
HACKING.md 762ad54344 Documentation: change http links to GitHub to https 7 years ago
RELEASE.md 173f4aba1b Update release-procedures 7 years ago
astylerc 1859808227 Move development-related scripts, tools, into ci/ 7 years ago
buildall.sh 11c43e3d5d Fix cmake call for CI. 8 years ago
calamaresstyle 1859808227 Move development-related scripts, tools, into ci/ 7 years ago
coverity-model.c ef8cbcf526 Coverity: add (stub) modeling file 7 years ago
cppcheck.sh ec5c1240c2 Fix permissions. 9 years ago
travis-continuous.sh 99858242fb CI: Replace Jenkins-oriented scripts with Travis-oriented ones 7 years ago
travis-coverity.sh 99858242fb CI: Replace Jenkins-oriented scripts with Travis-oriented ones 7 years ago
travis.sh 99858242fb CI: Replace Jenkins-oriented scripts with Travis-oriented ones 7 years ago
txpull.sh c2a69ea943 i18n: cleanup after txpull 7 years ago
txpush.sh f63b44c984 i18n: smash things back from unspecified charset to UTF-8 7 years ago