diff options
author | Ben Hutchings <ben@decadent.org.uk> | 2018-11-21 21:22:36 +0000 |
---|---|---|
committer | Ben Hutchings <ben@decadent.org.uk> | 2018-11-21 21:24:05 +0000 |
commit | 74f0c27f7df0597456bd06398a3301a37d48aad4 (patch) | |
tree | f8512e84918e4d49badf037a19427fd4130b60db /debian/source | |
parent | 8008ae41deeb69052e0f1b51552ef4875e629ffc (diff) | |
download | kernel_replicant_linux-74f0c27f7df0597456bd06398a3301a37d48aad4.tar.gz kernel_replicant_linux-74f0c27f7df0597456bd06398a3301a37d48aad4.tar.bz2 kernel_replicant_linux-74f0c27f7df0597456bd06398a3301a37d48aad4.zip |
Revert "* debian: Ignore *.local."
This reverts commit 39f3da43ac5b76eaca977eacc80439229935944a. This
customisation mechanism was not documented and doesn't seem to be
used.
Also revert the corresponding line in .gitignore.
Diffstat (limited to 'debian/source')
-rw-r--r-- | debian/source/options | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options index 3badfe8963de..b7bc1f2b72d2 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1,2 +1 @@ compression = "xz" -tar-ignore = debian/*.local |