aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2022-10-20 12:17:15 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2022-10-20 12:17:15 +0200
commitb85ec1f2cc27ee178488de480eb3f64245a6e563 (patch)
treee7a32955d14bf99f3079d473c282fe0b1cf99e89 /doc/.gitignore
parent8a9ea214483adccc446954bfa9f4f3aade997275 (diff)
Ignore post hoc prerequisites in dist rule
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions