diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2013-04-23 21:44:30 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2013-04-23 21:44:30 +0000 |
| commit | 1d1d751326b022f72be552e51ca825e0c667e1ec (patch) | |
| tree | 7b1a04f4f933bda21f2de603c29432c0debb88d6 /stdlib/buffer.ml | |
| parent | 976cb4a2f473cfe7f9e1087fe8e2b96912c6b835 (diff) | |
PR#5973 (old @ escape was still implemented in Format) + bootstrap.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13601 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/buffer.ml')
0 files changed, 0 insertions, 0 deletions