summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/camltk/modules
diff options
context:
space:
mode:
authorXavier Clerc <xavier.clerc@inria.fr>2013-09-09 09:32:00 +0000
committerXavier Clerc <xavier.clerc@inria.fr>2013-09-09 09:32:00 +0000
commite82104a755463d481667650ba4f00de535048f39 (patch)
tree054c7de9b2992be063de2dd22b56ee5993d5a374 /otherlibs/labltk/camltk/modules
parent83ca86dd2309914aa458bc25fd265f0bcadaa337 (diff)
Remove labltk from the distribution (will be available as a third-party library).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/camltk/modules')
-rw-r--r--otherlibs/labltk/camltk/modules80
1 files changed, 0 insertions, 80 deletions
diff --git a/otherlibs/labltk/camltk/modules b/otherlibs/labltk/camltk/modules
deleted file mode 100644
index f9fabdec0..000000000
--- a/otherlibs/labltk/camltk/modules
+++ /dev/null
@@ -1,80 +0,0 @@
-CWIDGETOBJS= cBell.cmo cScale.cmo cWinfo.cmo cScrollbar.cmo cEntry.cmo cListbox.cmo cWm.cmo cTkwait.cmo cGrab.cmo cFont.cmo cCanvas.cmo cImage.cmo cClipboard.cmo cLabel.cmo cResource.cmo cMessage.cmo cText.cmo cImagephoto.cmo cOption.cmo cFrame.cmo cSelection.cmo cDialog.cmo cPlace.cmo cPixmap.cmo cMenubutton.cmo cRadiobutton.cmo cFocus.cmo cPack.cmo cImagebitmap.cmo cEncoding.cmo cOptionmenu.cmo cCheckbutton.cmo cTkvars.cmo cPalette.cmo cMenu.cmo cButton.cmo cToplevel.cmo cGrid.cmo
-cBell.ml cScale.ml cWinfo.ml cScrollbar.ml cEntry.ml cListbox.ml cWm.ml cTkwait.ml cGrab.ml cFont.ml cCanvas.ml cImage.ml cClipboard.ml cLabel.ml cResource.ml cMessage.ml cText.ml cImagephoto.ml cOption.ml cFrame.ml cSelection.ml cDialog.ml cPlace.ml cPixmap.ml cMenubutton.ml cRadiobutton.ml cFocus.ml cPack.ml cImagebitmap.ml cEncoding.ml cOptionmenu.ml cCheckbutton.ml cTkvars.ml cPalette.ml cMenu.ml cButton.ml cToplevel.ml cGrid.ml : _tkgen.ml
-
-cBell.cmo : cBell.ml
-cBell.cmi : cBell.mli
-cScale.cmo : cScale.ml
-cScale.cmi : cScale.mli
-cWinfo.cmo : cWinfo.ml
-cWinfo.cmi : cWinfo.mli
-cScrollbar.cmo : cScrollbar.ml
-cScrollbar.cmi : cScrollbar.mli
-cEntry.cmo : cEntry.ml
-cEntry.cmi : cEntry.mli
-cListbox.cmo : cListbox.ml
-cListbox.cmi : cListbox.mli
-cWm.cmo : cWm.ml
-cWm.cmi : cWm.mli
-cTkwait.cmo : cTkwait.ml
-cTkwait.cmi : cTkwait.mli
-cGrab.cmo : cGrab.ml
-cGrab.cmi : cGrab.mli
-cFont.cmo : cFont.ml
-cFont.cmi : cFont.mli
-cCanvas.cmo : cCanvas.ml
-cCanvas.cmi : cCanvas.mli
-cImage.cmo : cImage.ml
-cImage.cmi : cImage.mli
-cClipboard.cmo : cClipboard.ml
-cClipboard.cmi : cClipboard.mli
-cLabel.cmo : cLabel.ml
-cLabel.cmi : cLabel.mli
-cResource.cmo : cResource.ml
-cResource.cmi : cResource.mli
-cMessage.cmo : cMessage.ml
-cMessage.cmi : cMessage.mli
-cText.cmo : cText.ml
-cText.cmi : cText.mli
-cImagephoto.cmo : cImagephoto.ml
-cImagephoto.cmi : cImagephoto.mli
-cOption.cmo : cOption.ml
-cOption.cmi : cOption.mli
-cFrame.cmo : cFrame.ml
-cFrame.cmi : cFrame.mli
-cSelection.cmo : cSelection.ml
-cSelection.cmi : cSelection.mli
-cDialog.cmo : cDialog.ml
-cDialog.cmi : cDialog.mli
-cPlace.cmo : cPlace.ml
-cPlace.cmi : cPlace.mli
-cPixmap.cmo : cPixmap.ml
-cPixmap.cmi : cPixmap.mli
-cMenubutton.cmo : cMenubutton.ml
-cMenubutton.cmi : cMenubutton.mli
-cRadiobutton.cmo : cRadiobutton.ml
-cRadiobutton.cmi : cRadiobutton.mli
-cFocus.cmo : cFocus.ml
-cFocus.cmi : cFocus.mli
-cPack.cmo : cPack.ml
-cPack.cmi : cPack.mli
-cImagebitmap.cmo : cImagebitmap.ml
-cImagebitmap.cmi : cImagebitmap.mli
-cEncoding.cmo : cEncoding.ml
-cEncoding.cmi : cEncoding.mli
-cOptionmenu.cmo : cOptionmenu.ml
-cOptionmenu.cmi : cOptionmenu.mli
-cCheckbutton.cmo : cCheckbutton.ml
-cCheckbutton.cmi : cCheckbutton.mli
-cTkvars.cmo : cTkvars.ml
-cTkvars.cmi : cTkvars.mli
-cPalette.cmo : cPalette.ml
-cPalette.cmi : cPalette.mli
-cMenu.cmo : cMenu.ml
-cMenu.cmi : cMenu.mli
-cButton.cmo : cButton.ml
-cButton.cmi : cButton.mli
-cToplevel.cmo : cToplevel.ml
-cToplevel.cmi : cToplevel.mli
-cGrid.cmo : cGrid.ml
-cGrid.cmi : cGrid.mli
-camltk.cmo : cTk.cmo cBell.cmo cScale.cmo cWinfo.cmo cScrollbar.cmo cEntry.cmo cListbox.cmo cWm.cmo cTkwait.cmo cGrab.cmo cFont.cmo cCanvas.cmo cImage.cmo cClipboard.cmo cLabel.cmo cResource.cmo cMessage.cmo cText.cmo cImagephoto.cmo cOption.cmo cFrame.cmo cSelection.cmo cDialog.cmo cPlace.cmo cPixmap.cmo cMenubutton.cmo cRadiobutton.cmo cFocus.cmo cPack.cmo cImagebitmap.cmo cEncoding.cmo cOptionmenu.cmo cCheckbutton.cmo cTkvars.cmo cPalette.cmo cMenu.cmo cButton.cmo cToplevel.cmo cGrid.cmo