diff options
| author | Pierre Letouzey | 2014-01-22 14:35:13 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2014-01-30 18:36:49 +0100 |
| commit | 2d775d722fa1e51825600096156d94278b6893ea (patch) | |
| tree | 4d82283f538083c1f2fd3b1a49031503da8fffd1 /lib/cString.ml | |
| parent | a367d12d404d6f1cf1acfa9807c01f4eb790737a (diff) | |
G_xml: remove some duplication in error fonctions
Diffstat (limited to 'lib/cString.ml')
0 files changed, 0 insertions, 0 deletions