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

…