diff options
| author | Anton Trunov | 2020-05-13 13:14:17 +0300 |
|---|---|---|
| committer | Anton Trunov | 2020-05-13 13:14:17 +0300 |
| commit | 122ab27b2b4f02f370826a0a8ade78a0c0b2d416 (patch) | |
| tree | 2c320359dc6a5aa033d1c25cbe1f0917cf7c1c12 /kernel/cbytecodes.ml | |
| parent | 842502a7f0d37b2d159fa5ce90ef1e9ef604f4b7 (diff) | |
Clarify the assignee's role in removing the overlay information
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions