aboutsummaryrefslogtreecommitdiff
path: root/clean/.gitignore
blob: 8e11bbd9bbb28b00d0c78808df1dd1b4835cc736 (plain)
1
2
*-options.?xx
brep-clean