diff options
| author | Jonathan Protzenko <Jonathan.Protzenko@ens-lyon.org> | 2012-01-30 15:33:42 +0000 |
|---|---|---|
| committer | Jonathan Protzenko <Jonathan.Protzenko@ens-lyon.org> | 2012-01-30 15:33:42 +0000 |
| commit | d9d4bd2ad0da783ba008cc8d9d41f55255ce3c57 (patch) | |
| tree | 6b0a149c8a5c48a97963b9899d4b8210186ac9df /otherlibs/win32unix | |
| parent | 438da6350a936770f31e6563d51713b43a3783f7 (diff) | |
Related to #5493: document in string.mli the fact that string constants are shared.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12102 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix')
0 files changed, 0 insertions, 0 deletions