Sebastien Bourdeauducq 9ab63920e0 Remove Pipistrello support ... Closes #658 Closes #381		2017-05-15 17:17:44 +08:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	Remove Pipistrello support	2017-05-15 17:17:44 +08:00
slides	doc: convert to 'with parallel'	2016-02-23 15:53:41 +08:00