Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Merge requests
!45
Resolve "Redesign of Explanation in Repair Interface"
Code
Review changes
Check out branch
Download
Patches
Plain diff
Wolfgang Schmid
requested to merge
145-redesign-of-explanation-in-repair-interface
into
master
Oct 16, 2018
Overview
0
Commits
15
Pipelines
5
Changes
9
Expand
Closes
#145 (closed)
Edited
Oct 18, 2018
by
Wolfgang Schmid
Merge request reports