manual: Update from wiki.gnome.org
commit49eb85ec60d31bcc00af9eddf3c4f434526813ab
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 07:44:30 +0000 (22 09:44 +0200)
treede44b395404aab42e445841882abf4b5d4cb8c54
parent9f0b816fb2c4dca3ecc67bcf25eb3b9f04dd4a82
manual: Update from wiki.gnome.org
doc/manual/manual.xml