Skip to content
GitLab
Explore
Sign in
Utilities
Konsole
Merge requests
!143
remove unused definitions
Code
Review changes
Check out branch
Download
Patches
Plain diff
Gustavo Carneiro
requested to merge
araujoluis/konsole:remove_unused
into
master
Jul 12, 2020
Overview
0
Commits
1
Pipelines
0
Changes
1
Expand
Merge request reports