diff options
| author | Tom Lane | 2017-05-15 19:48:23 +0000 |
|---|---|---|
| committer | Tom Lane | 2017-05-15 19:48:40 +0000 |
| commit | 1aedcf98181602890ea8899202a7143543f9785a (patch) | |
| tree | c668787256f75a39d56e357a16bcd2c57543f56c /src | |
| parent | 0ad226f2ae55620107eb61591d2f96236aec477c (diff) | |
git-ignore intermediate files from new docs toolchain.
Building PDFs with the new toolchain creates *.fo temporary files.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions