Skip to content
GitLab
Explore
Sign in
Improve instructions
Code
Review changes
Check out branch
Download
Patches
Plain diff
Michael Ernst
requested to merge
improve-instructions
into
master
Nov 01, 2017
Overview
0
Commits
1
Pipelines
0
Changes
3
Expand
Don't use sh to run bash scripts
Put original files in more obvious directory
Also, make shell scripts executable, given that they have shebang lines
Merge request reports