diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-08-19 11:21:33 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-08-19 11:21:33 +0200 |
commit | ae642bd2fa4b1cce8a28b90f7d476d762dba3049 (patch) | |
tree | c599cec044f5a8b3cb62914230a2aa64b45cf50a /debian | |
parent | af4733cb070fc0b44bdb556a41e1c86c3b668e7b (diff) |
Remove useless debian/source/options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 1 | ||||
-rw-r--r-- | debian/source/options | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 9c7ce45..f70180f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -14,6 +14,7 @@ xsd (4.0.0-2) UNRELEASED; urgency=medium - Add year 2015 to debian/*. - Change directory from xsd/documentation to xsd/doc. - Refresh file list. + * Remove useless debian/source/options. -- Jörg Frings-Fürst <debian@jff-webhosting.net> Tue, 04 Aug 2015 12:37:51 +0200 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 |