manual: Update from wiki.gnome.org
commitfd224c7b252d8511b69bcbf6a47f59ecd70be565
authorRico Tzschichholz <ricotz@ubuntu.com>
Mon, 21 May 2018 19:47:16 +0000 (21 21:47 +0200)
committerRico Tzschichholz <ricotz@ubuntu.com>
Tue, 22 May 2018 08:14:41 +0000 (22 10:14 +0200)
treefb0771d997fb94f1ca18ba72ca4d683315ff67fc
parent56957e0427f9548f1d1c266bbf4001b973263858
manual: Update from wiki.gnome.org
doc/manual/manual.xml