diff options
author | 2017-12-01 13:28:01 -0500 | |
---|---|---|
committer | 2017-12-01 13:28:01 -0500 | |
commit | 9879cc291512223c72a4cac2ef294c216cf64656 (patch) | |
tree | e104527f957e66ef5a1c0225f10f606def04cb80 /ide/ide.mllib | |
parent | e29993c250164b9486d4d7ffdebb9bfee4a2828f (diff) |
check for Num lib if OCaml >= 4.06, #6162
Diffstat (limited to 'ide/ide.mllib')
0 files changed, 0 insertions, 0 deletions