projects / pspp / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb39eab) | patch
help: removed yelp support
authorFriedrich Beckmann <friedrich.beckmann@gmx.de>
Thu, 25 Jun 2020 17:53:53 +0000 (19:53 +0200)
committerFriedrich Beckmann <friedrich.beckmann@gmx.de>
Thu, 25 Jun 2020 17:53:53 +0000 (19:53 +0200)
commitae432932ea7cbf4257e6104f27ec56ee80f621b5
tree488235ac924dcc066228dec964f4a8cc207788a2tree | snapshot
parentfb39eab00c70c922961241266b7a20a3f716f002commit | diff
help: removed yelp support

The yelp tool is broken for three years and cannot show uris with
a tag. John wrote a bug report three years ago but it is not fixed
yet.

https://gitlab.gnome.org/GNOME/yelp/-/issues/116

Once yelp works again, we can revert this commit.
src/ui/gui/help-menu.c diff | blob | history
Unnamed repository; edit this file to name it for gitweb.