summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2025-05-21extend .gitignore for more tool-generated filesHelmut Grohne
2024-01-18initial checkinHelmut Grohne