1 files changed, 26 insertions, 0 deletions
diff --git a/docs/source_docs/files/globals_dup.js b/docs/source_docs/files/globals_dup.js
new file mode 100755
index 0000000..9f79132
--- /dev/null
+++ b/docs/source_docs/files/globals_dup.js
@@ -0,0 +1,26 @@
+var globals_dup =
+[
+    [ "_", "globals.html", null ],
+    [ "a", "globals_a.html", null ],
+    [ "b", "globals_b.html", null ],
+    [ "c", "globals_c.html", null ],
+    [ "d", "globals_d.html", null ],
+    [ "e", "globals_e.html", null ],
+    [ "f", "globals_f.html", null ],
+    [ "g", "globals_g.html", null ],
+    [ "i", "globals_i.html", null ],
+    [ "l", "globals_l.html", null ],
+    [ "m", "globals_m.html", null ],
+    [ "n", "globals_n.html", null ],
+    [ "o", "globals_o.html", null ],
+    [ "p", "globals_p.html", null ],
+    [ "r", "globals_r.html", null ],
+    [ "s", "globals_s.html", null ],
+    [ "t", "globals_t.html", null ],
+    [ "u", "globals_u.html", null ],
+    [ "v", "globals_v.html", null ],
+    [ "w", "globals_w.html", null ],
+    [ "x", "globals_x.html", null ],
+    [ "y", "globals_y.html", null ],
+    [ "z", "globals_z.html", null ]
+];
+\ No newline at end of file