aboutsummaryrefslogtreecommitdiff
path: root/kernel/cbytecodes.mli
diff options
context:
space:
mode:
authorHugo Herbelin2016-10-19 10:08:49 +0200
committerHugo Herbelin2016-10-20 20:33:58 +0200
commit6d5fe92efbe3f6269666644a0f2e8e9aab8ab307 (patch)
treea25f8ab20c6360dd40a8720876aff21e8c38afc7 /kernel/cbytecodes.mli
parenta07f67f6f1deba8b14672c618c003ec345d7970a (diff)
Adding dependency of the test-suite subsystems in prerequisite (fixing #5150).
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions