diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2022-09-18 19:59:58 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2022-09-18 19:59:58 +0300 |
| commit | c200098ddeb090b7b95f482a269bbe2a7a40d09d (patch) | |
| tree | 3ec0180327aab5f033a0281406af1a863844902d /java/org/gnu | |
| parent | 69cc3d38bc7b5887e7f1497937d0ea8be1f70673 (diff) | |
; * src/intervals.c (get_local_map): Fix commentary.
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions