annotations.git
2022-11-15 Andrea Righidoc: update TODO list
2022-11-15 Andrea Righiannotations: properly handle dropped configs during...
2022-11-14 Andrea Righiannotations: check: catch options that are removed...
2022-11-14 Andrea Righiannotations: make action argument mandatory
2022-11-14 Andrea Righiannotations: avoid converting null results to kconfig...
2022-11-14 Andrea Righiannotations: try to compact annotations before saving it
2022-11-14 Andrea Righiannotations: automatically detect annotations file...
2022-11-14 Andrea Righidoc: add a basic README.md
2022-11-14 Andrea Righiadd a .gitignore
2022-11-14 Andrea Righiinitial version