diff options
| author | Jim Fehrle | 2020-07-02 20:02:57 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2020-07-02 20:02:57 -0700 |
| commit | 2b877400967387a5364c1e630c91efacae3c7c8a (patch) | |
| tree | b013e753cd28502abd601e360155589191e25465 /kernel/vmbytecodes.ml | |
| parent | b017e302f69f20fc4fc3d4088a305194f6c387fa (diff) | |
Correct comment and clarify constant
Diffstat (limited to 'kernel/vmbytecodes.ml')
0 files changed, 0 insertions, 0 deletions