Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Merge requests
!3
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