From f7d3162fdf4c348beb7d315a85b34af6e1cdaff5 Mon Sep 17 00:00:00 2001
From: Andre Noll which is not open. Removing both start and end tags makes
it happy again and causes no visible change, at least in one browser.
---
web/documentation.in.html | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/web/documentation.in.html b/web/documentation.in.html
index 2789112a..4d63a08f 100644
--- a/web/documentation.in.html
+++ b/web/documentation.in.html
@@ -4,7 +4,7 @@
General information
-
+