Robert Jördens 22ba2858d9 manual: deprecate old release ... closes #863		2017-12-06 13:00:37 +01:00
..
logo	manual: use theme options which looks like m-labs web site	2014-12-02 10:32:27 +08:00
manual	manual: deprecate old release	2017-12-06 13:00:37 +01:00
slides	doc: convert to 'with parallel'	2016-02-23 15:53:41 +08:00