Skip to content
GitLab
Explore
Sign in
Utilities
Konsole
Merge requests
!491
Save some time and space if no plugins are built
Code
Review changes
Check out branch
Download
Patches
Plain diff
Martin Tobias Holmedahl Sandsmark
requested to merge
sandsmark/konsole:martin/optional-plugins
into
master
Sep 20, 2021
Overview
6
Commits
1
Pipelines
0
Changes
8
Expand
Merge request reports