diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-14 12:01:56 +0200 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2017-06-27 14:50:48 +0200 |
| commit | 555e9bb113664b5dc9b7f2e5acb84de0831fbbc4 (patch) | |
| tree | cd4fcbf8cbf53821927c804813e8e24688aee56b /configure.ml | |
| parent | ce1e1dba837ad6e2c79ff7e531b5e3adea3cd327 (diff) | |
A cleaning phase about ocaml file names.
Ocaml file names are restricted since 2008 to A..Z followed by a..z0..9'_.
We take this constraint into account in tools manipulating Ocaml file
names.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions