Der neue Dienst "GitLab am KIT" ist unter
gitlab.kit.edu
erreichbar.
Skip to content
GitLab
Explore
Sign in
sarah.grebing
ProofScriptParser
Merge requests
!3
WIP: embedd a docking framework
Code
Review changes
Check out branch
Download
Patches
Plain diff
tk5165
requested to merge
docking
into
master
Jul 07, 2017
Overview
0
Commits
4
Pipelines
3
Changes
20
Expand
works, but needed some adaptions or fixes
Merge request reports