manual: Update from wiki.gnome.org
commitbb9dc347783018eb9f0386978f7e45958a3d75bb
authorRico Tzschichholz <ricotz@ubuntu.com>
Sat, 18 Aug 2018 08:59:47 +0000 (18 10:59 +0200)
committerRico Tzschichholz <ricotz@ubuntu.com>
Sat, 18 Aug 2018 08:59:47 +0000 (18 10:59 +0200)
tree61fc32512f94a8ae75fa5540be82801db2be5bd4
parent7bbed02208029912c26f709b158245dd0703a5e7
manual: Update from wiki.gnome.org
doc/manual/manual.xml