diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-15 16:03:18 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-15 16:03:18 +0000 |
commit | cb1d4105dd0148c5c817cc48bfde953bdb2e5ea3 (patch) | |
tree | 8fa050b06aeed0c7a664476024222b4472c21523 /otherlibs/labltk/browser/editor.ml | |
parent | f1cb71f9ce96a001f9d55a210636fdf5f273a0fa (diff) |
labelize also primitives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/editor.ml')
0 files changed, 0 insertions, 0 deletions