Skip to content
GitLab
Explore
Sign in
interactive-KB-debugging
debugger
Merge requests
!6
- Implementation of
#41
Code
Review changes
Check out branch
Download
Patches
Plain diff
Wolfgang Schmid
requested to merge
41-replace-image-icons-with-regular-icons
into
master
Aug 26, 2016
Overview
0
Commits
1
Pipelines
1
Changes
20
Expand
removed unused icons Closes
#41 (closed)
Merge request reports