Drop unnecessary executable flag. #1
Fusionnée
SlavekB
a fusionné 1 révision(s) à partir de drop/remove-exe-flag
vers master
il y a 6 ans
Chargement…
Référencer dans un nouveau ticket
Il n'existe pas encore de contenu.
Supprimer la branche 'drop/remove-exe-flag'
Supprimer une branche est permanent. Cela NE PEUVENT être annulées. Continuer ?
Slavek, please push since I don't have permit for this repo.
Merged and pushed upstream.
thanks
5e6c5bc28c
.