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