diff options
| author | Gaëtan Gilbert | 2017-10-09 15:05:32 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-10-09 15:05:32 +0200 |
| commit | c02a71ee1d73c5ad5ede00eeabc29570f6359725 (patch) | |
| tree | 70a0ee3b66a9986ac1dd829e21499567866386ca /kernel/nativecode.mli | |
| parent | f1598b00219a951e94036cb7f48a8fe1309025f1 (diff) | |
Fix Travis OSX deploy conditional.
IS is intended for testing nullity.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions