Commit Graph

3 Commits (56c60c24d0bef17841f09432f62306fd3c1909c1)

Author SHA1 Message Date
Richard Fuchs a5c55fc398 add NUM_THREADS to init scripts
11 years ago
Camille Oudot faf3e22b9e logging: choose the log facility from the command line, or log to stderr
12 years ago
Richard Fuchs 73b56db7de Update CentOS definitions
12 years ago