diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2012-02-10 09:08:02 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2012-02-10 09:08:02 +0000 |
| commit | f2831338755aae920d79d29a1f16661c9b5cc63f (patch) | |
| tree | 7085a30569aabb5fb40b793d28688f9104634908 /otherlibs/labltk/support | |
| parent | b392c77aa664f9b12488175f250e170fc38303ea (diff) | |
PR#5159: better documentation of type "position"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/support')
0 files changed, 0 insertions, 0 deletions