diff options
| author | Pierre Letouzey | 2014-01-21 20:10:59 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-01-30 18:36:49 +0100 |
| commit | a367d12d404d6f1cf1acfa9807c01f4eb790737a (patch) | |
| tree | b1009cf2530ae6893fb42ee25895f245584f85ee /lib/cString.ml | |
| parent | fb13eae9ded0ce3686af4738bcd642f76f4b4868 (diff) | |
G_xml: protect against some possible Not_found
Diffstat (limited to 'lib/cString.ml')
0 files changed, 0 insertions, 0 deletions