Exclude Python scripts

2023-10-24 21:33:30 +02:00
parent e4e608248f
commit 111d267385
39 changed files with 1579 additions and 900 deletions
--- a/docs/search/searchdata.js
+++ b/docs/search/searchdata.js
@@ -2,7 +2,7 @@ var indexSectionsWithContent =
 {
  0: "_abcdefkmpqrstuvw",
  1: "ps",
-  2: "cmptu",
+  2: "cfmptu",
  3: "acefmprstvw",
  4: "bdkmpqrtv",
  5: "sv",