From 7fb542259cf26331d7ad74da4bc89f16ad4912b3 Mon Sep 17 00:00:00 2001 From: Gard Spreemann Date: Fri, 15 Jun 2018 13:15:28 +0200 Subject: Begin refreshing patches. --- debian/patches/no-external-doc-resources.patch | 88 -------------------------- 1 file changed, 88 deletions(-) delete mode 100644 debian/patches/no-external-doc-resources.patch (limited to 'debian/patches/no-external-doc-resources.patch') diff --git a/debian/patches/no-external-doc-resources.patch b/debian/patches/no-external-doc-resources.patch deleted file mode 100644 index 735ac63b..00000000 --- a/debian/patches/no-external-doc-resources.patch +++ /dev/null @@ -1,88 +0,0 @@ -From: Gard Spreemann -Date: Fri, 18 May 2018 19:09:11 +0200 -Subject: no-external-doc-resources - -Remove external resource references from Doxygen header. Later upstream -versions will include an alternative header that does the job. ---- - doc/common/header.html | 60 -------------------------------------------------- - 1 file changed, 60 deletions(-) - -diff --git a/doc/common/header.html b/doc/common/header.html -index 9c51438..6a02a89 100644 ---- a/doc/common/header.html -+++ b/doc/common/header.html -@@ -8,8 +8,6 @@ - - $projectname: $title - $title -- -- - - - -@@ -22,64 +20,6 @@ $extrastylesheet - - - -- -- -- - -
- -- cgit v1.2.3