diff options
| author | Emilio Jesus Gallego Arias | 2020-01-16 18:35:44 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-01-17 16:21:56 +0100 |
| commit | 4a76c9f34c0468cc4b62239ca2adb83204a8b509 (patch) | |
| tree | 4473032427d4f58408a91be9f109075eba857002 /kernel/nativevalues.ml | |
| parent | 55ded80878d47037e49ca9b60f89c422d184899f (diff) | |
[dune] [dbg] Add support for coqtop in dune-dbg
We also workaround problem #11405 , however, this should be reverted
once the problem is fixed in OCaml upstream.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions