Skip to content
GitLab
Explore
Sign in
GNOME
libxml2
Merge requests
!162
The source project of this merge request has been removed.
cmake: Remove non needed files in docs dir
Daniel E
requested to merge
(removed):patch-1
into
master
Apr 03, 2022
Overview
2
Pipelines
0
Changes
1
Expand
Don't install files that are used to generate the documentation
Merge request reports