Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Software
CoPaR
Merge requests
!3
Add build script that wraps stack
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Thorsten Wißmann
requested to merge
build-script
into
master
Jul 26, 2018
Overview
3
Commits
3
Pipelines
1
Changes
1
@thorsten
ist das skript halbwegs sinnvolles bash?
