diff options
| author | Dimitri van Heesch <doxygen@gmail.com> | 2019-12-29 10:36:19 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <doxygen@gmail.com> | 2019-12-29 10:36:19 (GMT) |
| commit | abf1e46f7bc2c31972d36231b4672580704fcc10 (patch) | |
| tree | d2434af8f0ab927a86aec694e068359395d0b026 /src | |
| parent | c22852aae860d42ed3a0895926199b364dbf84db (diff) | |
| parent | dfd94b01525e6049fcf14fbf459453d3d2a8e55a (diff) | |
| download | Doxygen-abf1e46f7bc2c31972d36231b4672580704fcc10.zip Doxygen-abf1e46f7bc2c31972d36231b4672580704fcc10.tar.gz Doxygen-abf1e46f7bc2c31972d36231b4672580704fcc10.tar.bz2 | |
Merge branch 'master' of github.com:doxygen/doxygen
Diffstat (limited to 'src')
| -rw-r--r-- | src/configimpl.l | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/configimpl.l b/src/configimpl.l index 4da1634..840213c 100644 --- a/src/configimpl.l +++ b/src/configimpl.l @@ -1541,6 +1541,9 @@ void Config::checkAndCorrect() s=aliasList.next(); } + // check EXTENSION_MAPPING + checkList(Config_getList(EXTENSION_MAPPING),"EXTENSION_MAPPING",TRUE,TRUE); + // check FILTER_PATTERNS checkList(Config_getList(FILTER_PATTERNS),"FILTER_PATTERNS",TRUE,TRUE); |