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