diff options
-rw-r--r-- | doc/manual.html | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/manual.html b/doc/manual.html index 498ebb9..44d0a23 100644 --- 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> |