diff options
author | David Thompson <dthompson2@worcester.edu> | 2015-08-08 09:19:26 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2015-08-08 09:19:26 -0400 |
commit | bb513b09354fba35ad16db562bd302e841265549 (patch) | |
tree | 65105928b5acd7736fe1922c02c659b3706637af /website/manual/Texinfo.html | |
parent | 884ab2025089ed69c38dacdf91dded4aa3d587b5 (diff) |
Ignore gzipped tarballs.
Diffstat (limited to 'website/manual/Texinfo.html')
0 files changed, 0 insertions, 0 deletions