Bug fixed for unix error "readlink /proc/self/fd/0" on MacOS.
[Faustine.git] / doc /
2013-09-27 WANGMerge branch 'master' of https://scm.cri.ensmp.fr/git...
2013-09-27 Karim BarkatiUser Manual first draft.