diff options
| author | Antonio Nikishaev | 2019-10-13 20:44:04 +0400 |
|---|---|---|
| committer | Antonio Nikishaev | 2019-10-13 20:53:28 +0400 |
| commit | 7c0352e40af80c222507b1ddcf5e3a2ad29feb67 (patch) | |
| tree | a2cda3689604d5d17a7d07cd0a4f2756ecdf7c8e /kernel/section.ml | |
| parent | 7f039cac07526881da1a149b8c0e49be32c2e89e (diff) | |
fix rev_right_loop doc
Diffstat (limited to 'kernel/section.ml')
0 files changed, 0 insertions, 0 deletions