aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativevalues.mli
diff options
context:
space:
mode:
authorPierre Letouzey2014-01-22 14:35:13 +0100
committerPierre Letouzey2014-01-30 18:36:49 +0100
commit2d775d722fa1e51825600096156d94278b6893ea (patch)
tree4d82283f538083c1f2fd3b1a49031503da8fffd1 /kernel/nativevalues.mli
parenta367d12d404d6f1cf1acfa9807c01f4eb790737a (diff)
G_xml: remove some duplication in error fonctions
Diffstat (limited to 'kernel/nativevalues.mli')
0 files changed, 0 insertions, 0 deletions