diff options
Diffstat (limited to 'otherlibs/labltk/builtin/winfo_contained.mli')
| -rw-r--r-- | otherlibs/labltk/builtin/winfo_contained.mli | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/otherlibs/labltk/builtin/winfo_contained.mli b/otherlibs/labltk/builtin/winfo_contained.mli deleted file mode 100644 index 41cc57c0f1..0000000000 --- a/otherlibs/labltk/builtin/winfo_contained.mli +++ /dev/null @@ -1,11 +0,0 @@ -##ifdef CAMLTK - -val contained : int -> int -> widget -> bool -(** [contained x y w] returns true if (x,y) is in w *) - -##else - -val contained : x:int -> y:int -> 'a widget -> bool -(** [contained x y w] returns true if (x,y) is in w *) - -##endif |