* Makefile.in (distclean): Remove config.log.
This page took 0.043585 seconds and 3 git commands to generate.