From 9d8c6a5ee0bbc3f1a86db080af7c83ab257fad6c Mon Sep 17 00:00:00 2001
From: =?utf8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Wed, 5 Jan 2022 15:45:47 +0100
Subject: [PATCH] documentation: minor cleanup.

---
 documentation/search.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/documentation/search.js b/documentation/search.js
index 5346fa63..0faf0ec1 100644
--- a/documentation/search.js
+++ b/documentation/search.js
@@ -708,7 +708,6 @@ if(typeof document !== 'undefined') {
                     document.body.style.overflow = 'auto';
                     document.body.style.paddingRight = '0';
                 }
-
                 return false; /* so the form doesn't get sent */
 
             /* Copy (Markdown) link to keyboard */
-- 
2.30.2