Skip to content
GitLab
Explore
Sign in
Plasma
Plasma Workspace
Merge requests
!1462
Allow building without KDocTools
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alex Richardson
requested to merge
arichardson/plasma-workspace:optional-kdoctools
into
master
Feb 15, 2022
Overview
0
Commits
1
Pipelines
4
Changes
1
Expand
This makes it easier for me to cross-compile plasma-workspace
Merge request reports