diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1998-12-02 10:15:37 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1998-12-02 10:15:37 +0000 |
| commit | ec7e60cf1bf13d00c776c73f0bd12c61ac43ab71 (patch) | |
| tree | bdea2006a368a502a031d4bc8797a5d7b79195ca /otherlibs/unix/unix.ml | |
| parent | 943be062c330ad8cb32712f53615e2fb4e79bff2 (diff) | |
Ajout de la possibilité de modifier les sémantiques de l'indentation
et du passage à la ligne. (Useful to generate <BR> instead of a new
line and instead of spaces.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/unix.ml')
0 files changed, 0 insertions, 0 deletions