From 7812564d163e14433de2a78d41fd7d1db585ba71 Mon Sep 17 00:00:00 2001 From: Benjamin Valentin Date: Fri, 22 Jul 2022 14:03:51 +0200 Subject: [PATCH] doc/doxygen: use DuckDuckGo for search --- doc/doxygen/header.html | 11 ++++------- doc/doxygen/src/js/menu.js | 2 +- 2 files changed, 5 insertions(+), 8 deletions(-) diff --git a/doc/doxygen/header.html b/doc/doxygen/header.html index edc643e0b2..9e87fff4e0 100644 --- a/doc/doxygen/header.html +++ b/doc/doxygen/header.html @@ -74,19 +74,16 @@ -