Sebastien Bourdeauducq 16b917be5d doc: add reminder of what positive slack means. Closes #1084		2018-07-02 16:23:12 +08:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	doc: add reminder of what positive slack means. Closes #1084	2018-07-02 16:23:12 +08:00
slides	doc/slides: minor fixes	2017-09-06 19:25:38 +08:00