Merge branch 'mini_fixes' into 'master'
Mini fixes
See merge request hej/HEJ!113
Description
Description
Details
Details
- Provenance
amaier Authored on Dec 18 2019, 11:39 AM hej Pushed on Jan 14 2021, 6:07 PM - Parents
- rHEJ9d20f0b0dbe4: `config.hh` -> `Config.hh` to match class name
rHEJ30f30c0c0ccf: Corrected doxygen documentation - Branches
- Unknown
- Tags
Merged Changes
Merged Changes