Remove docinfo.html

This file is no longer required as of commit 429bbf0956231718f1ad4853337b7c9bd10d0a15.
2024-04-07 19:29:08 +00:00 · 2024-04-07 19:29:08 +00:00 · 3427066a2a
commit 3427066a2a
parent ba587978ef
1 changed files with 0 additions and 6 deletions
--- a/docinfo.html
+++ b/docinfo.html
@ -1,6 +0,0 @@
-<style>
-h1, h2, h3, h4, h5, h6, .h-link {
-		color: #ffffff;
-		font-style: bold;
-}
-</style>