summaryrefslogtreecommitdiff
path: root/.gitignore (follow)
AgeCommit message (Expand)Author
2023-08-21Improve the .gitignore file wrt. testsjvoisin
2023-04-13Add a .gitignorejvoisin