Robert Jördens 44c78a5e79 manual: deprecate old release ... closes #863		2017-12-06 12:52:35 +01:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	manual: deprecate old release	2017-12-06 12:52:35 +01:00
slides	doc: convert to 'with parallel'	2016-02-23 15:53:41 +08:00