From 51c3a44302c3161c1b273e70cc02925a95141e35 Mon Sep 17 00:00:00 2001 From: Paulchen Panther Date: Thu, 20 Dec 2018 14:34:09 +0100 Subject: [PATCH] Delete hyperion-header.html --- doc/hyperion-header.html | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 doc/hyperion-header.html diff --git a/doc/hyperion-header.html b/doc/hyperion-header.html deleted file mode 100644 index 652afa69..00000000 --- a/doc/hyperion-header.html +++ /dev/null @@ -1,9 +0,0 @@ - - - - - $title - - - -