diff options
| author | Hugo Herbelin | 2017-07-16 21:00:11 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2017-07-21 23:38:53 +0200 |
| commit | 6466868d858c4a9a80e444463009fae869eeb950 (patch) | |
| tree | 0627c44fa14aa1f6fdb849931b52e0d878d25233 /kernel/nativevalues.ml | |
| parent | c0fdb912c5e63bb43d6e8dd320e9f5613c6237ff (diff) | |
Adding a V8.7 compatibility version number.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions