From b33ea63fb2357f0da13a30d2d0df6ffe8f2c4fc1 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 16 Jun 2020 01:42:25 +0200
Subject: [PATCH 1/1] web: Let logo link to index.html rather than ".".

Depending on the browser and the web server config, the reference to
"." may cause the browser to render a directory listing.
---
 web/header.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/header.html b/web/header.html
index 21be256..2b5e798 100644
--- a/web/header.html
+++ b/web/header.html
@@ -12,7 +12,7 @@
 	<table>
 		<tr>
 			<td>
-				<a href=".">
+				<a href="index.html">
 					<IMG
 						SRC="osl.png"
 						alt="osl logo"
-- 
2.39.2