diff options
Diffstat (limited to 'otherlibs/labltk/builtin/builtin_GetBitmap.ml')
| -rw-r--r-- | otherlibs/labltk/builtin/builtin_GetBitmap.ml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/otherlibs/labltk/builtin/builtin_GetBitmap.ml b/otherlibs/labltk/builtin/builtin_GetBitmap.ml deleted file mode 100644 index bf02d20f86..0000000000 --- a/otherlibs/labltk/builtin/builtin_GetBitmap.ml +++ /dev/null @@ -1,22 +0,0 @@ -(* Tk_GetBitmap emulation *) - -##ifdef CAMLTK - -(* type *) -type bitmap = - | BitmapFile of string (* path of file *) - | Predefined of string (* bitmap name *) -;; -(* /type *) - -##else - -(* type *) -type bitmap = [ - | `File of string (* path of file *) - | `Predefined of string (* bitmap name *) -] -;; -(* /type *) - -##endif |