diff options
| author | Pierre-Marie Pédrot | 2015-09-13 16:29:48 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-09-20 15:20:32 +0200 |
| commit | 481d2b681463d2758fec6b2417631491be69f216 (patch) | |
| tree | be9c107d7fed7afcd7780396fde1ab8ffcfb222c /kernel/nativelib.ml | |
| parent | 8b609e4e6df906dc16e8fa506a71046ab3b8f16c (diff) | |
Do not canonicalize messages received by CoqIDE.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions