Skip to content
GitLab
Explore
Sign in
Games
KSudoku
Merge requests
!5
The source project of this merge request has been removed.
Documentation improves
Antoni Bella Pérez
requested to merge
(removed):bellaperez/Documentation_improves
into
master
Dec 08, 2020
Overview
0
Pipelines
0
Changes
2
Expand
Use actual entity: &ksudoku;
Version fixed into releaseinfo tag
Add drop down box in GUI, too
More fixes
Merge request reports