diff options
| author | Théo Zimmermann | 2018-06-06 17:51:03 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-06-06 18:00:09 +0200 |
| commit | 3a44a190a7f5d057b6a4bcb50124b42d83f3d03d (patch) | |
| tree | 9b1440c74ea119f2c46545bb282628f14ed773c8 /kernel/nativelambda.mli | |
| parent | b493c2b9c8dfcadb3aee37a7b98052e611bb00a2 (diff) | |
Add a note about [ci skip] in CI README.
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions