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 - - - -