# DOT_NUM_THREADS setting.

# Minimum value: 0, maximum value: 32, default value: 1.

# If the TIMESTAMP tag is set different from NO then each generated page will

# contain the date or date and time when the page was generated. Setting this to