Skip to content
GitLab
Explore
Sign in
GNOME
totem
Merge requests
!194
build: Make building the user help optional
Code
Review changes
Check out branch
Download
Patches
Plain diff
Bastien Nocera
requested to merge
wip/hadess/help-option
into
master
May 05, 2021
Overview
0
Commits
1
Pipelines
1
Changes
2
Expand
This can speed up "jhbuild make" quite a bit. The help is still enabled by default as it was.
Merge request reports