Skip to content

Config.h migration

Micael Oliveira requested to merge config.h_migration into develop

The script that checks if config.h files are the same as the reference ones for the different buildbot builders needed to be update to work with Git.

Merge request reports