Robert Jördens f2eafa89fb manual: deprecate old release ... closes #863		2018-11-21 15:03:16 +08:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	manual: deprecate old release	2018-11-21 15:03:16 +08:00
slides	doc/slides: minor fixes	2017-09-06 19:25:38 +08:00