aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
blob: e9bbe17797f131cc30f5f4953a34271ef3fd0725 (plain)
1
2
3
4
5
brep*.xhtml
brep*.1
build2-repository-interface-manual*.ps
build2-repository-interface-manual*.pdf
build2-repository-interface-manual.xhtml