1 files changed, 18 insertions, 0 deletions
diff --git a/docs/source_docs/files/globals_defs.js b/docs/source_docs/files/globals_defs.js
new file mode 100755
index 0000000..df0f325
--- /dev/null
+++ b/docs/source_docs/files/globals_defs.js
@@ -0,0 +1,18 @@
+var globals_defs =
+[
+    [ "_", "globals_defs.html", null ],
+    [ "a", "globals_defs_a.html", null ],
+    [ "b", "globals_defs_b.html", null ],
+    [ "c", "globals_defs_c.html", null ],
+    [ "d", "globals_defs_d.html", null ],
+    [ "e", "globals_defs_e.html", null ],
+    [ "f", "globals_defs_f.html", null ],
+    [ "m", "globals_defs_m.html", null ],
+    [ "n", "globals_defs_n.html", null ],
+    [ "o", "globals_defs_o.html", null ],
+    [ "p", "globals_defs_p.html", null ],
+    [ "s", "globals_defs_s.html", null ],
+    [ "u", "globals_defs_u.html", null ],
+    [ "v", "globals_defs_v.html", null ],
+    [ "w", "globals_defs_w.html", null ]
+];
+\ No newline at end of file