aboutsummaryrefslogtreecommitdiff
path: root/kernel/nativecode.mli
diff options
context:
space:
mode:
authorGaëtan Gilbert2021-01-27 11:35:35 +0100
committerGaëtan Gilbert2021-01-27 11:35:35 +0100
commitbe070cfb10a59be13a478a7efbf92dd3e22401ed (patch)
tree1b9f8abeae6bcfb53f6f731019caedbdfcea54cb /kernel/nativecode.mli
parent6e258b391363aa2345c4dc265ba381b1712fe083 (diff)
Add sysinit to load_printer lists
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions