summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/lib/labltk.bat
AgeCommit message (Collapse)Author
2013-09-09Remove labltk from the distribution (will be available as a third-party ↵Xavier Clerc
library). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30clean up TABs and whitespaceDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-02merge changes from branching of 3.12 to release/3.12.0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02