Sebastien Bourdeauducq 5ecfa8197f doc: clarify usage of pause/check_pause, closes #571		2016-10-17 20:08:43 +08:00
..
logo	update logo	2016-04-30 00:30:24 +08:00
manual	doc: clarify usage of pause/check_pause, closes #571	2016-10-17 20:08:43 +08:00
slides	doc: convert to 'with parallel'	2016-02-23 15:53:41 +08:00