diff options
| author | Vincent Laporte | 2018-11-12 16:09:48 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-11-12 16:10:20 +0000 |
| commit | 274411f257e84d6552c3da163dd5420cd46db841 (patch) | |
| tree | c520be8f2f08996d3f90a5357df490c1a849c718 /kernel/nativelambda.ml | |
| parent | 7e014333c57bdede663e490743bc84f696764381 (diff) | |
Set codeowners for dev/ci/nix
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions