summaryrefslogtreecommitdiffstats
path: root/scripts/ci/Jenkinsfile.bleeding
Commit message (Collapse)AuthorAgeFilesLines
* Rename Jenkinsfile to Jenkinsfile.bleedingLaurent Bonnans2018-06-251-0/+74
+ small doc comment