diff options
Diffstat (limited to 'src/configimpl.l')
| -rw-r--r-- | src/configimpl.l | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/configimpl.l b/src/configimpl.l index 1490912..7055e93 100644 --- a/src/configimpl.l +++ b/src/configimpl.l @@ -1618,9 +1618,6 @@ void Config::checkAndCorrect() checkList(Config_getList(EXTRA_SEARCH_MAPPINGS),"EXTRA_SEARCH_MAPPING",TRUE,TRUE); } - // check TCL_SUBST - checkList(Config_getList(TCL_SUBST),"TCL_SUBST",TRUE,TRUE); - // check if GENERATE_TREEVIEW and GENERATE_HTMLHELP are both enabled if (Config_getBool(GENERATE_TREEVIEW) && Config_getBool(GENERATE_HTMLHELP)) { |