deploy: 2f0afe7b14

index.js

@@ -0,0 +1,6 @@
+var index =
+[
+    [ "Feature", "index.html#autotoc_md0", null ],
+    [ "Example", "index.html#autotoc_md1", null ],
+    [ "Supported Platforms", "index.html#autotoc_md2", null ]
+];