diff options
| author | Théo Zimmermann | 2019-03-14 10:04:53 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-03-14 10:04:53 +0100 |
| commit | d07f718785414e643c69a77e38bfa43792d877f3 (patch) | |
| tree | 97373664d53a8466959e1aec221a5e2853df59c2 /kernel/nativevalues.ml | |
| parent | 27ab0d69e87fa3ce414cdaa205f7f6266693e263 (diff) | |
| parent | c0948de203f6eccb42c47c2e818cf8234f09ec79 (diff) | |
Merge PR #9700: [dune] [checker] Don't install internal checker library.
Reviewed-by: Zimmi48
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions