diff options
| author | Théo Zimmermann | 2018-07-10 17:42:13 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-07-10 17:42:13 +0200 |
| commit | 6964772d33a7ee10c28b6f07767c0e391b7dd123 (patch) | |
| tree | 00716370af6b14a0942aa1eda96321cdbaa1f843 /kernel/nativelambda.mli | |
| parent | 38d4b5cba84a253f2f4ea4febda9f60fde2052c9 (diff) | |
[travis] Remove even more jobs.
Users who want to test external projects should be encouraged to activate
GitLab CI as is documented in dev/ci/README.md.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions