1 To customize the settings defined in these headers, create a folder
2 "user_config_headers" in the "build" folder and copy the headers you want to
3 modify into that folder. Your custom headers will be ignored by the version
4 control system and the build system will automatically use them instead of the
5 original ones. But be aware that when changes are commited to the files in
6 "config_headers", you will have to apply them to your custom headers manually.