Merge pull request tweag#349 from turion/dev_remove_polyfill

Remove polyfill
turion · Jul 2, 2024 · d290105 · d290105
2 parents 2191eed + 2a2d68b
commit d290105
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -50,7 +50,6 @@ markdown_extensions:
       permalink: true
 extra_javascript:
   - javascripts/mathjax.js
-  - https://polyfill.io/v3/polyfill.min.js?features=es6
   - https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
 
 
@@ -59,4 +58,4 @@ nav:
     - 'probprog.md'
     - 'tutorials.md'
     - 'examples.md'
-    - 'usage.md'
+    - 'usage.md'