diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-03-09 15:27:38 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-03-09 15:27:38 +0100 |
| commit | ff4385ab7a7c0b321082867b34dd4ea8965f1b40 (patch) | |
| tree | 3c322e968203dde96adc4b735589517e6cd71329 /debian/patches | |
| parent | 3d514f4d499e1d02577f339e652dc288ec69226d (diff) | |
Patch description.
Diffstat (limited to 'debian/patches')
| -rw-r--r-- | debian/patches/no-external-doc-resources.patch | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/patches/no-external-doc-resources.patch b/debian/patches/no-external-doc-resources.patch index 260758ef..df35669d 100644 --- a/debian/patches/no-external-doc-resources.patch +++ b/debian/patches/no-external-doc-resources.patch @@ -1,3 +1,5 @@ +Remove external resource references from Doxygen header. Later upstream +versions will include an alternative header that does the job. --- a/doc/common/header.html +++ b/doc/common/header.html @@ -8,8 +8,6 @@ |