merge_config.sh: Add option to display redundant configs
[linux-flexiantxendom0-3.2.10.git] / scripts / diffconfig
2008-07-25 Tim Birdkconfig: add diffconfig utility