Skip to content
GitLab
Explore
Sign in
Plasma Mobile
Spacebar
Merge requests
!129
Use popHiddenPages
Code
Review changes
Check out branch
Download
Patches
Plain diff
Devin Lin
requested to merge
work/devinlin/pop
into
master
Dec 07, 2022
Overview
0
Commits
1
Pipelines
2
Changes
1
Expand
Use upstreamed Kirigami property instead of our own solution.
Merge request reports