Robert Jördens 8e41d50145 doc: add pipistrello adapter explicitly (closes: #339)		2016-03-20 19:57:07 +01:00
..
logo	manual: use theme options which looks like m-labs web site	2014-12-02 10:32:27 +08:00
manual	doc: add pipistrello adapter explicitly (closes: #339)	2016-03-20 19:57:07 +01:00
slides	doc: convert to 'with parallel'	2016-02-23 15:53:41 +08:00