diff options
Diffstat (limited to 'otherlibs/labltk/builtin/selection_own_set.mli')
| -rw-r--r-- | otherlibs/labltk/builtin/selection_own_set.mli | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/otherlibs/labltk/builtin/selection_own_set.mli b/otherlibs/labltk/builtin/selection_own_set.mli deleted file mode 100644 index 95b3de363c..0000000000 --- a/otherlibs/labltk/builtin/selection_own_set.mli +++ /dev/null @@ -1,12 +0,0 @@ -##ifdef CAMLTK - -val own_set : icccm list -> widget -> unit -(** tk invocation: selection own <icccm list> <widget> *) - -##else - -val own_set : - ?command:(unit->unit) -> ?selection:string -> 'a widget -> unit -(** tk invocation: selection own <icccm list> <widget> *) - -##endif |