whitequark a5cd7d2761 doc: update manual/developing.rst.		2018-08-28 20:00:32 +00:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	doc: update manual/developing.rst.	2018-08-28 20:00:32 +00:00
slides	doc/slides: minor fixes	2017-09-06 19:25:38 +08:00