Changed name of config file key for determining if $WARNING directives are enabled from "SwitchOffWarnings" to "EmitWarnDirs".
Authored by: delphidabbler 2012-08-08
Parent: [r2153]
Child: [r2155]