diff options
| author | Gaëtan Gilbert | 2018-02-07 15:43:17 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-02-07 15:43:17 +0100 |
| commit | f12a980ad7136440210de1d275f909cc9dfb6fe4 (patch) | |
| tree | 1ad3ca4712af7a0a764dafba31eafea887fd021c /kernel/nativelambda.mli | |
| parent | b1d56e48b2453814a5d2898688fbc7c5d29d32fa (diff) | |
ci-common: guess CI_BRANCH for local builds
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions