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 - - -