diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2022-10-20 12:17:15 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-10-20 12:17:15 +0200 |
| commit | b85ec1f2cc27ee178488de480eb3f64245a6e563 (patch) | |
| tree | e7a32955d14bf99f3079d473c282fe0b1cf99e89 /doc/.gitignore | |
| parent | 8a9ea214483adccc446954bfa9f4f3aade997275 (diff) | |
Ignore post hoc prerequisites in dist rule
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions