diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2001-08-30 13:18:11 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2001-08-30 13:18:11 +0000 |
| commit | 561f80d95d504a244ca5350a448249ad32abad41 (patch) | |
| tree | 7c2c85595bbf0ba77489af836c444619e05e42a0 /otherlibs/labltk/browser/setpath.ml | |
| parent | 74472b9c2f48813db54d3bbad85099f89ca44625 (diff) | |
Blinder global_regexp vis-a-vis des regexp qui filtrent la chaine vide (PR#484)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3686 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/setpath.ml')
0 files changed, 0 insertions, 0 deletions