Bug fixed for stdin and stdout in a different platform.
[Faustine.git] / doc /
2013-09-27 WANGMerge branch 'master' of https://scm.cri.ensmp.fr/git...
2013-09-27 Karim BarkatiUser Manual first draft.