diff options
| author | Maxime Dénès | 2017-08-18 13:28:06 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-08-18 13:28:06 +0200 |
| commit | a93d65fa0b48525f54c4474c07dc06ca00f4adc8 (patch) | |
| tree | 667985d20a8273beb4077ac15f03f90519500186 /kernel/nativelambda.ml | |
| parent | 46c00567cc609fda60ea26a29dc1283e5d1f96a3 (diff) | |
Separate jobs for test-suite and package building under OSX.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions