Daniel Agar db4e09d529 Tools/kconfig: delete old migration helpers ... - people are updating this without really understanding the purpose, and it's generally no longer useful		2022-06-17 19:31:45 -04:00
..
diffconfig.py	…
merge_config.py	…
updateconfig.py	…