1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
Description: Remove link to external js lib, not needed as used for ie browsers
Author: Alex Mestiashvili <amestia@rsh2.donotuse.de>
Forwarded: not-needed
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -20,9 +20,6 @@
.display.math{display: block; text-align: center; margin: 0.5rem auto;}
</style>
<link rel="stylesheet" href="doc/style.css" />
- <!--[if lt IE 9]>
- <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
- <![endif]-->
</head>
<body>
<h1>Table of Contents</h1>
|
