Skip to content
GitLab
Explore
Sign in
Merge master into hybridAutomaton
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dr. Stefan Alexander Schupp
requested to merge
master
into
hybridAutomaton
Dec 16, 2020
Overview
0
Commits
31
Pipelines
0
Changes
248
Expand
Update the hybridAutomaton-branch with some updates from master, e.g., the Dockerfile.
Merge request reports