diff options
-rw-r--r-- | debian/patches/debian/0005-use-bash.patch (renamed from debian/patches/debian/0012-use-bash.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0006-remove-infographic.patch (renamed from debian/patches/debian/0005-remove-infographic.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0007-remove-contrib-files.patch (renamed from debian/patches/debian/0006-remove-contrib-files.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0008-remove-update-button.patch (renamed from debian/patches/debian/0007-remove-update-button.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0009-remove-social-media-buttons.patch (renamed from debian/patches/debian/0008-remove-social-media-buttons.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0010-remove-googleanalytics.patch (renamed from debian/patches/debian/0009-remove-googleanalytics.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0011-remove-login.patch (renamed from debian/patches/debian/0010-remove-login.patch) | 0 | ||||
-rw-r--r-- | debian/patches/debian/0012-remove-signin.patch (renamed from debian/patches/debian/0011-remove-signin.patch) | 0 | ||||
-rw-r--r-- | debian/patches/series | 16 |
9 files changed, 8 insertions, 8 deletions
diff --git a/debian/patches/debian/0012-use-bash.patch b/debian/patches/debian/0005-use-bash.patch index 53b7fc5b3..53b7fc5b3 100644 --- a/debian/patches/debian/0012-use-bash.patch +++ b/debian/patches/debian/0005-use-bash.patch diff --git a/debian/patches/debian/0005-remove-infographic.patch b/debian/patches/debian/0006-remove-infographic.patch index 4b4df45ed..4b4df45ed 100644 --- a/debian/patches/debian/0005-remove-infographic.patch +++ b/debian/patches/debian/0006-remove-infographic.patch diff --git a/debian/patches/debian/0006-remove-contrib-files.patch b/debian/patches/debian/0007-remove-contrib-files.patch index f145aa0cf..f145aa0cf 100644 --- a/debian/patches/debian/0006-remove-contrib-files.patch +++ b/debian/patches/debian/0007-remove-contrib-files.patch diff --git a/debian/patches/debian/0007-remove-update-button.patch b/debian/patches/debian/0008-remove-update-button.patch index c17a4cd60..c17a4cd60 100644 --- a/debian/patches/debian/0007-remove-update-button.patch +++ b/debian/patches/debian/0008-remove-update-button.patch diff --git a/debian/patches/debian/0008-remove-social-media-buttons.patch b/debian/patches/debian/0009-remove-social-media-buttons.patch index 9b5f05e30..9b5f05e30 100644 --- a/debian/patches/debian/0008-remove-social-media-buttons.patch +++ b/debian/patches/debian/0009-remove-social-media-buttons.patch diff --git a/debian/patches/debian/0009-remove-googleanalytics.patch b/debian/patches/debian/0010-remove-googleanalytics.patch index eb90e5ca6..eb90e5ca6 100644 --- a/debian/patches/debian/0009-remove-googleanalytics.patch +++ b/debian/patches/debian/0010-remove-googleanalytics.patch diff --git a/debian/patches/debian/0010-remove-login.patch b/debian/patches/debian/0011-remove-login.patch index 686b0f76c..686b0f76c 100644 --- a/debian/patches/debian/0010-remove-login.patch +++ b/debian/patches/debian/0011-remove-login.patch diff --git a/debian/patches/debian/0011-remove-signin.patch b/debian/patches/debian/0012-remove-signin.patch index ff402371a..ff402371a 100644 --- a/debian/patches/debian/0011-remove-signin.patch +++ b/debian/patches/debian/0012-remove-signin.patch diff --git a/debian/patches/series b/debian/patches/series index 4635528e4..0a0300ab3 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -2,12 +2,12 @@ debian/0001-use-system-python.patch debian/0002-use-system-exim4.patch debian/0003-use-python3.patch debian/0004-use-sh.patch -debian/0005-remove-infographic.patch -debian/0006-remove-contrib-files.patch -debian/0007-remove-update-button.patch -debian/0008-remove-social-media-buttons.patch -debian/0009-remove-googleanalytics.patch -debian/0010-remove-login.patch +debian/0005-use-bash.patch +debian/0006-remove-infographic.patch +debian/0007-remove-contrib-files.patch +debian/0008-remove-update-button.patch +debian/0009-remove-social-media-buttons.patch +debian/0010-remove-googleanalytics.patch +debian/0011-remove-login.patch +debian/0012-remove-signin.patch upstream/0001-allow-symlinks.patch -debian/0011-remove-signin.patch -debian/0012-use-bash.patch |