diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-01-21 10:41:14 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-01-21 10:41:14 +0100 |
commit | 3d1fc128ab514532da240453111e344b28459ea1 (patch) | |
tree | 35d6c037abe87df84b4c0c5246ff4c85248a5f90 /debian/patches/0004-Offline-header-for-docs.patch | |
parent | 901331d656a7c3f4a1799a35d554be7291a76686 (diff) |
Refresh patches.
Diffstat (limited to 'debian/patches/0004-Offline-header-for-docs.patch')
-rw-r--r-- | debian/patches/0004-Offline-header-for-docs.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/0004-Offline-header-for-docs.patch b/debian/patches/0004-Offline-header-for-docs.patch index 232d7e53..70678963 100644 --- a/debian/patches/0004-Offline-header-for-docs.patch +++ b/debian/patches/0004-Offline-header-for-docs.patch @@ -7,7 +7,7 @@ Subject: Offline header for docs. 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Doxyfile.in b/src/Doxyfile.in -index de452c9..98d8b96 100644 +index e90d2fe..f82baba 100644 --- a/src/Doxyfile.in +++ b/src/Doxyfile.in @@ -1045,7 +1045,7 @@ HTML_FILE_EXTENSION = .html |