Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
change execution rights on build scripts
authorAugustin Degomme <degomme@idpann.imag.fr>
Tue, 24 Sep 2013 13:13:05 +0000 (15:13 +0200)
committerAugustin Degomme <degomme@idpann.imag.fr>
Tue, 24 Sep 2013 13:13:05 +0000 (15:13 +0200)
commitdfb5ce528d95432fa6f95501ffb1d0db33a46fcb
tree014fe29a76cead11dff8550fd0aabb8d92285327
parent8192acecf44818a829583724900211221500a718
change execution rights on build scripts
buildtools/jenkins/run.bat [changed mode: 0644->0755]
buildtools/jenkins/run.sh [changed mode: 0644->0755]
buildtools/jenkins/runmingw.sh [changed mode: 0644->0755]