From ea04385bc16de6b7b65aab75c5c33cfe2d71ea84 Mon Sep 17 00:00:00 2001
From: querwurzelt
Date: Sun, 20 Jan 2019 22:19:33 +0100
Subject: PHP 7.3 compat, bug fixes

---
 res/docs/header.tpl.html | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 res/docs/header.tpl.html

(limited to 'res/docs/header.tpl.html')

diff --git a/res/docs/header.tpl.html b/res/docs/header.tpl.html
deleted file mode 100644
index ee0650f..0000000
--- a/res/docs/header.tpl.html
+++ /dev/null
@@ -1,8 +0,0 @@
-<ul class="menu">
- <li><a href="index.html">Index</a></li>
- <li><a href="INSTALL.html">Installation</a></li>
- <li><a href="UPGRADE.html">Upgrade</a></li>
- <li><a href="ChangeLog.html">ChangeLog</a></li>
- <li><a href="http://semanticscuttle.sourceforget.net/">Homepage</a></li>
- <li><a href="https://sourceforget.net/projects/semanticscuttle">Project page</a></li>
-</ul>
-- 
cgit v1.2.3-54-g00ecf