Auto-generated documentation from #1315

bkoelman · bkoelman · commit 0902175b564b · 2023-09-17T09:41:21.000Z
diff --git a/index.html b/index.html
@@ -1,4 +1,4 @@
-<!DOCTYPE html>   
+<!DOCTYPE html>      
 <html lang="en">
 <head>
   <meta charset="utf-8">
