Skip to content
GitLab
Explore
Sign in
GNOME
pitivi
Repository
pitivi
.gitignore
Find file
Blame
History
Permalink
Use yelp-tools instead of gnome-doc-utils
· 75b96b28
Oliver Propst
authored
Jul 26, 2013
and
Jeff Fortin
committed
Aug 18, 2013
Fixes bug #687563 Keep "ghelp" URIs for launching locally (see bug #706223)
75b96b28