diff options
| author | Matthieu Sozeau | 2016-10-20 17:51:20 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-10-20 17:53:14 +0200 |
| commit | 1df663324385c9958df76f3f464b6afab4c17ad7 (patch) | |
| tree | 286dd9f41842cb021c892d6aa24ab9e88d95c36d /kernel/cbytecodes.ml | |
| parent | ecaea9a428c052ea431ec7c392e81aaf918d5d96 (diff) | |
Cleanup code according to comments.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions