diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 14:30:26 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2018-12-29 14:30:26 -0500 |
commit | d7d80c5bea564b7cb0eadc33e9ee38c9d9de1cd8 (patch) | |
tree | 898be92436f5fcb20a2eea78fab18aa6f8f60707 /theories/Structures/vo.itarget | |
parent | 5a38d3c4d185cd2248b483de3f64228d5f948d2d (diff) |
Update and firm up excluded files list
Coq has introduced many new files in the last couple of years,
including several that are not DFSG-free. Rebuild and document the list
of files to be excluded from git-buildpackage imports.
Additionally, delete the purify_tarball script, as it’s been replaced
with the import filter.
Diffstat (limited to 'theories/Structures/vo.itarget')
0 files changed, 0 insertions, 0 deletions