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