diff options
author | Xavier Clerc <xavier.clerc@inria.fr> | 2013-09-09 09:32:00 +0000 |
---|---|---|
committer | Xavier Clerc <xavier.clerc@inria.fr> | 2013-09-09 09:32:00 +0000 |
commit | e82104a755463d481667650ba4f00de535048f39 (patch) | |
tree | 054c7de9b2992be063de2dd22b56ee5993d5a374 /otherlibs/labltk/camltk/modules | |
parent | 83ca86dd2309914aa458bc25fd265f0bcadaa337 (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/modules | 80 |
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 |