diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2011-06-24 16:09:30 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2011-06-24 16:09:30 +0000 |
| commit | 74a67449e535ab1dc8fd24036add449cb2b59dfd (patch) | |
| tree | 818ed575901792ff04d4796a8b01dc0466e102ea /otherlibs/labltk/browser/shell.ml | |
| parent | 8f91de1b837ff4b7ba9947d1434829c126cf4199 (diff) | |
Small optimisation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11102 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/shell.ml')
0 files changed, 0 insertions, 0 deletions