Skip to main content

Browse the archive

Revision 56677eb4a14ada56a2eaa421a54b8cddaa0bcd7f authored by Roberto Di Cosmo on 26 October 2011, 15:20:50 UTC, committed by Roberto Di Cosmo on 26 October 2011, 15:20:50 UTC 
Redirect stdout/stderr to one separate file per worker
1 parent 8ef8a0a
Raw File
.gitignore 
log*
*~
_build
back to top