Manual: Remove a IE shim that was loaded from Cloudflare

gbv · Apr 28, 2023 · 6dca760 · 6dca760
1 parent 8107a7c
commit 6dca760
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/docs/templates/user-manual.html b/docs/templates/user-manual.html
@@ -37,9 +37,6 @@
 $if(math)$
   $math$
 $endif$
-  <!--[if lt IE 9]>
-    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
-  <![endif]-->
 $for(header-includes)$
   $header-includes$
 $endfor$