aboutsummaryrefslogtreecommitdiff
path: root/kernel/cbytecodes.ml
diff options
context:
space:
mode:
authorthery2019-03-29 15:31:54 +0100
committerthery2019-03-29 15:31:54 +0100
commit8f86085a1761153ab97f896a67fa9ffa9f139b78 (patch)
tree8ab526e3290dbe8dc52ac26b0e52ad1e51e01a71 /kernel/cbytecodes.ml
parent4b9636ffd47ea5a0b99df442047ba03d18422738 (diff)
typo in ring.rst
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions