Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
If we have a section MakeFiles and a makefiles section we want them to be merged to the first of those. So the user can input values for sections case insensitively while we don't throw away his casing.
- Loading branch information