merge_config.sh: Use the first file as the initial config
[linux-flexiantxendom0-3.2.10.git] / scripts / diffconfig
2008-07-25 Tim Birdkconfig: add diffconfig utility