Skip to content
GitLab
Explore
Sign in
Add build script that wraps stack
Code
Review changes
Check out branch
Download
Patches
Plain diff
Thorsten Wißmann
requested to merge
build-script
into
master
Jul 26, 2018
Overview
3
Commits
3
Pipelines
1
Changes
1
Expand
@thorsten
ist das skript halbwegs sinnvolles bash?
Merge request reports
Loading