date/search/searchdata.js
2016-10-23 22:11:43 +02:00

25 lines
262 B
JavaScript

var indexSectionsWithContent =
{
0: "dg",
1: "d",
2: "g",
3: "d"
};
var indexSectionNames =
{
0: "all",
1: "namespaces",
2: "functions",
3: "pages"
};
var indexSectionLabels =
{
0: "All",
1: "Namespaces",
2: "Functions",
3: "Pages"
};