diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 11:46:16 +0000 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2014-12-21 11:46:16 +0000 |
| commit | c7f2f72c07e34e0e28836ae3c0f8f9c7a12128eb (patch) | |
| tree | 9549f85fa6d076455963720b42d8a167a368d4a0 /stdlib/bytes.ml | |
| parent | f15f4f3ed83532c1571014bb35aa7cc2fd424686 (diff) | |
PR6695: Make Filename use only US-ASCII functions.
The only place that includes changes is the code for checking
the suffix. It is highly unlikely that the change has any
impact at all.
From: Peter Zotov <whitequark@whitequark.org>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/bytes.ml')
0 files changed, 0 insertions, 0 deletions