Revert ""

This reverts commit 75142d8376, reversing changes made to b51d00d063.
2021-02-08 14:24:50 -05:00
parent 75142d8376
commit 3ba4462b54
79 changed files with 5211 additions and 1383 deletions
--- a/Documentation/html/search/searchdata.js
+++ b/Documentation/html/search/searchdata.js
@@ -1,9 +1,9 @@
 var indexSectionsWithContent =
 {
-  0: "!dhlmrs",
-  1: "!dlmr",
+  0: "!dhmrs",
+  1: "!dmr",
  2: "m",
-  3: "dhlrs"
+  3: "dhs"
 };

 var indexSectionNames =