summaryrefslogtreecommitdiff
path: root/.gitignore
blob: ddc658433d169bb8cd019a2740852947492b4c90 (plain)
1
2
/pruned
/generated