manual: Update from wiki.gnome.org
commit41259d8659abb7147a93bec07b245c836e627f2b
authorRico Tzschichholz <ricotz@ubuntu.com>
Thu, 15 Feb 2018 08:30:10 +0000 (15 09:30 +0100)
committerRico Tzschichholz <ricotz@ubuntu.com>
Thu, 15 Feb 2018 08:37:53 +0000 (15 09:37 +0100)
tree149674b10d8bcdbded83c26bbac86aef42fdf307
parentc6c288a4a2287112f0a2d972ad9449bbcf9bc282
manual: Update from wiki.gnome.org
doc/manual/manual.xml