diff options
| author | Pierre-Yves Strub | 2017-02-04 13:24:46 +0100 |
|---|---|---|
| committer | Pierre-Yves Strub | 2017-02-04 15:27:27 +0100 |
| commit | c20491301e55b5bbf44b4c81f5a7a9c5a0b07111 (patch) | |
| tree | 59fe29e32958e580649336913993f2c93f280359 /kernel/nativecode.mli | |
| parent | 4d8320aad05cb8654da9a710089fe4451b530800 (diff) | |
[travis] : more apt deps + parallel jobs + non-container based
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions