1 files changed, 14 insertions, 0 deletions
diff --git a/globals_dup.js b/globals_dup.js
new file mode 100644
index 000000000..990323755
--- /dev/null
+++ b/globals_dup.js
@@ -0,0 +1,14 @@
+var globals_dup =
+[
+    [ "_", "globals.html", null ],
+    [ "a", "globals_a.html", null ],
+    [ "d", "globals_d.html", null ],
+    [ "g", "globals_g.html", null ],
+    [ "m", "globals_m.html", null ],
+    [ "n", "globals_n.html", null ],
+    [ "p", "globals_p.html", null ],
+    [ "r", "globals_r.html", null ],
+    [ "s", "globals_s.html", null ],
+    [ "t", "globals_t.html", null ],
+    [ "v", "globals_v.html", null ]
+];
+\ No newline at end of file