manual: Update from wiki.gnome.org
commit259df585ca72a4d24895e7c1409be01d0a8c0fd4
authorRico Tzschichholz <ricotz@ubuntu.com>
Mon, 21 May 2018 19:47:16 +0000 (21 21:47 +0200)
committerRico Tzschichholz <ricotz@ubuntu.com>
Mon, 21 May 2018 19:47:40 +0000 (21 21:47 +0200)
tree962844f53297af54ad44628d2c4b4436bb457ca6
parent127f733f5ecc318d99bcada64fc2cd33ee98f61c
manual: Update from wiki.gnome.org
doc/manual/manual.xml