diff options
Diffstat (limited to '3rdparty/glm/doc/api/search/searchdata.js')
| -rw-r--r-- | 3rdparty/glm/doc/api/search/searchdata.js | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/3rdparty/glm/doc/api/search/searchdata.js b/3rdparty/glm/doc/api/search/searchdata.js new file mode 100644 index 00000000000..c29ba183bf6 --- /dev/null +++ b/3rdparty/glm/doc/api/search/searchdata.js @@ -0,0 +1,30 @@ +var indexSectionsWithContent = +{ + 0: "_abcdefghilmnopqrstuvwyz", + 1: "_abcdefghilmnoprstuvw", + 2: "abcdefghilmnopqrstuvwyz", + 3: "abdfhilmqsuvw", + 4: "acefgimptv", + 5: "o" +}; + +var indexSectionNames = +{ + 0: "all", + 1: "files", + 2: "functions", + 3: "typedefs", + 4: "groups", + 5: "pages" +}; + +var indexSectionLabels = +{ + 0: "All", + 1: "Files", + 2: "Functions", + 3: "Typedefs", + 4: "Modules", + 5: "Pages" +}; + |
