diff options
author | Arnaud Spiwack <arnaud@spiwack.net> | 2014-09-12 10:08:11 +0200 |
---|---|---|
committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-09-12 10:17:22 +0200 |
commit | adaed81659c0461bc6f697268fd6f79ab46db7ae (patch) | |
tree | bfa16d4944f3cd3344166e4ee3159c17448b73a2 /kernel/nativevalues.mli | |
parent | 8a7aff349c0a451eafead79abd4167f60249a7fb (diff) |
Discontinued xml plugin: improve the README.
More information, less pmp.
Diffstat (limited to 'kernel/nativevalues.mli')
0 files changed, 0 insertions, 0 deletions