Commit Graph

3 Commits (9319fda1a3aa019cefc49e17536adb835bbb1464)

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