Skip to content
GitLab
Explore
Sign in
Plasma
Plasma Desktop
Merge requests
!70
Remove dead code
Code
Review changes
Check out branch
Download
Patches
Plain diff
David Redondo
requested to merge
work/extraactions
into
master
Jul 17, 2020
Overview
1
Commits
1
Pipelines
0
Changes
1
Expand
See
plasma-workspace!161 (merged)
Merge request reports