diff options
| author | Arnaud Spiwack | 2014-07-25 15:21:15 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-07-25 19:06:22 +0200 |
| commit | fc4fa4e42289cd13a8732ff2e08bf33ba1708928 (patch) | |
| tree | e3d80ca3ff270688cef7dbe4acb48d950333bae9 /kernel/nativelib.ml | |
| parent | 6f7aebb09c89e95bd7520dad482f20e7a11fb279 (diff) | |
CHANGES: yellow in Coqide.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions