chore: removed extraneous JavaScript

adrienbrignon · Dec 2, 2023 · 741aa1d · 741aa1d
1 parent 7f7b033
commit 741aa1d
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/docs/assets/scripts/mkdocs-exporter.js b/docs/assets/scripts/mkdocs-exporter.js
@@ -31,10 +31,3 @@ window.MkDocsExporter = {
   }
 
 };
-
-
-window.PagedConfig = {
-  before: async () => {
-    //
-  }
-}