Add build script that wraps stack (!3) · Merge requests · Informatik 8 / CoPaR · GitLab

This is an archived project. Repository and other project resources are read-only.

Hans-Peter Deifel requested to merge build-script into master Jul 26, 2018

@thorsten ist das skript halbwegs sinnvolles bash?