diff options
Diffstat (limited to 'ocaml-binary-annot/otherlibs/labltk/browser/jglib.mllib')
| -rw-r--r-- | ocaml-binary-annot/otherlibs/labltk/browser/jglib.mllib | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ocaml-binary-annot/otherlibs/labltk/browser/jglib.mllib b/ocaml-binary-annot/otherlibs/labltk/browser/jglib.mllib new file mode 100644 index 0000000000..5c254ff552 --- /dev/null +++ b/ocaml-binary-annot/otherlibs/labltk/browser/jglib.mllib @@ -0,0 +1,13 @@ +Jg_tk +Jg_config +Jg_bind +Jg_completion +Jg_box +Jg_button +Jg_toplevel +Jg_text +Jg_message +Jg_menu +Jg_entry +Jg_multibox +Jg_memo |