annotations.git
2022-11-14 Andrea Righidoc: add a basic README.md
2022-11-14 Andrea Righiadd a .gitignore
2022-11-14 Andrea Righiinitial version