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 /lib/genarg.ml | |
| 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 'lib/genarg.ml')
0 files changed, 0 insertions, 0 deletions