diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2019-12-09 13:49:07 -0500 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2019-12-21 08:58:40 +0900 |
| commit | bfa99713830970a0613250ded9a0830c4f8db13f (patch) | |
| tree | 7f9a64ce7b9736e8ee6fa5a936cabc035a42dec9 /debian/not-installed | |
| parent | cc62d33c07c1f14fbfc0df7464238c35dde8d929 (diff) | |
debian: record upstream files which should not be installed by the package
Signed-off-by: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
Diffstat (limited to 'debian/not-installed')
| -rw-r--r-- | debian/not-installed | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/not-installed b/debian/not-installed new file mode 100644 index 00000000..fd929459 --- /dev/null +++ b/debian/not-installed @@ -0,0 +1,3 @@ +usr/share/applications/mimeinfo.cache +usr/share/info/dir +usr/share/emacs/site-lisp/*.elc |