Skip to content
GitLab
Explore
Sign in
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
Loading