diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-15 13:57:43 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-09-15 13:57:43 +0000 |
| commit | f1cb71f9ce96a001f9d55a210636fdf5f273a0fa (patch) | |
| tree | 9a9e420cb7ac3d03d884b6870950d3c69d3bcfd1 /otherlibs/labltk/browser/editor.ml | |
| parent | cf525c107ef0599a9d0657e501635850b596659b (diff) | |
new tool addlabels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3762 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/editor.ml')
0 files changed, 0 insertions, 0 deletions