From 955abdf424dba5ec1ee56c67bb4be30440d94fb3 Mon Sep 17 00:00:00 2001
From: Rotzbua <Rotzbua@users.noreply.github.com>
Date: Tue, 24 Mar 2020 17:00:58 +0100
Subject: [PATCH] Remove unavailable script

ancient IE6-8 support can be dropped
---
 docs_theme/main.html | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/docs_theme/main.html b/docs_theme/main.html
index c2a29e1ae..b4e894781 100644
--- a/docs_theme/main.html
+++ b/docs_theme/main.html
@@ -17,10 +17,6 @@
   <link href="{{ 'css/bootstrap-responsive.css'|url }}" rel="stylesheet">
   <link href="{{ 'css/default.css'|url }}" rel="stylesheet">
 
-  <!-- Le HTML5 shim, for IE6-8 support of HTML5 elements -->
-  <!--[if lt IE 9]>
-    <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>
-  <![endif]-->
 
   <script type="text/javascript">
     var _gaq = _gaq || [];