diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2014-12-02 08:52:40 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2014-12-02 08:52:40 +0100 |
| commit | af16369cd594e64abec0d662f0fdbfe487c212d5 (patch) | |
| tree | 6ad054d0ac2d95f392cf3d4994b8d204e3c2c4bf /debian/source | |
| parent | 096a497b36f208fb68a12c7ae7576ca0a69f919d (diff) | |
new release 1.8.15, Debian bug #766418), some other work
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/options | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/source/options b/debian/source/options deleted file mode 100644 index 22a4de9..0000000 --- a/debian/source/options +++ /dev/null @@ -1,2 +0,0 @@ -compression = xz -compression-level = 9 |