Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
issue doxygen#10928 Setting JAVACC_CHAR_TYPE
`JAVACC_CHAR_TYPE` was already set in the main `CMakeLists.txt` but its value was not used here.
- Loading branch information