Skip to content
GitLab
Explore
Sign in
Plasma
KDE CLI tools
Merge requests
!5
The source project of this merge request has been removed.
Documentation fixes
Antoni Bella Pérez
requested to merge
(removed):bellaperez/Documentation_fixes
into
master
Oct 12, 2020
Overview
1
Pipelines
0
Changes
3
Expand
Use more entities
Change a guimenu to guimenuitem (right mouse click)
Sync GUI messages
And some punctuation
Merge request reports