This repository was archived by the owner on Apr 6, 2019. It is now read-only.

Files

docs

Nov 26, 2017

47d2a04 · Nov 26, 2017

Name	Name	Last commit message	Last commit date
parent directory ..
html	html	fix issues #126 #135 #137 : fix behavior of set_nb_workers, fix bug wh…	Nov 26, 2017
latex	latex	fix issues #126 #135 #137 : fix behavior of set_nb_workers, fix bug wh…	Nov 26, 2017