diff options
Diffstat (limited to 'globals_defs.js')
| -rw-r--r-- | globals_defs.js | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/globals_defs.js b/globals_defs.js new file mode 100644 index 00000000..ab9c9c19 --- /dev/null +++ b/globals_defs.js @@ -0,0 +1,18 @@ +var globals_defs = +[ + [ "a", "globals_defs.html", null ], + [ "b", "globals_defs_b.html", null ], + [ "c", "globals_defs_c.html", null ], + [ "d", "globals_defs_d.html", null ], + [ "f", "globals_defs_f.html", null ], + [ "k", "globals_defs_k.html", null ], + [ "l", "globals_defs_l.html", null ], + [ "m", "globals_defs_m.html", null ], + [ "n", "globals_defs_n.html", null ], + [ "p", "globals_defs_p.html", null ], + [ "r", "globals_defs_r.html", null ], + [ "s", "globals_defs_s.html", null ], + [ "t", "globals_defs_t.html", null ], + [ "u", "globals_defs_u.html", null ], + [ "v", "globals_defs_v.html", null ] +];
\ No newline at end of file |