Tom Reynolds d95a47807e Make the coverity-scan script use a configuration file name which is closer to its own name		2014-01-25 13:55:56 +01:00
..
glest_game@aec11c7371	Make the coverity-scan script use a configuration file name which is closer to its own name	2014-01-25 13:55:56 +01:00