Robert Jördens e42fd9ca31 doc: use actual version		2016-01-19 18:25:31 -07:00
..
logo	manual: use theme options which looks like m-labs web site	2014-12-02 10:32:27 +08:00
manual	doc: use actual version	2016-01-19 18:25:31 -07:00
slides	copyright: claim contributions	2015-09-06 16:08:57 -06:00