aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativecode.mli
diff options
context:
space:
mode:
authorVincent Laporte2018-11-12 16:09:48 +0000
committerVincent Laporte2018-11-12 16:10:20 +0000
commit274411f257e84d6552c3da163dd5420cd46db841 (patch)
treec520be8f2f08996d3f90a5357df490c1a849c718 /kernel/nativecode.mli
parent7e014333c57bdede663e490743bc84f696764381 (diff)
Set codeowners for dev/ci/nix
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions