Makefile: owner and file rights of config.inc were twice checked
This page took 0.032353 seconds and 3 git commands to generate.