diff options
| author | Antonio Nikishaev | 2019-09-27 06:16:40 +0300 |
|---|---|---|
| committer | Antonio Nikishaev | 2019-10-22 23:38:28 +0400 |
| commit | 395519de374e2c51cde2b2777af90f8af1200ea2 (patch) | |
| tree | 09ef9feb847988b05f24c79f1e16b480a0bdaf30 /kernel/genOpcodeFiles.ml | |
| parent | 54689c1c1e1333dd1bf63c619481c2ec99a5762e (diff) | |
documentation fixes
document « Property »
more documentation fixes
[doc] destructed → destructured
[doc] another le_minus→lt_1_r
[doc] @jfehrle suggestions
[doc] more minor fixes
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions