diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2023-07-18 14:58:09 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2023-07-18 14:58:09 +0300 |
| commit | 77f489421ec2958351cda612ddccf53581f41a74 (patch) | |
| tree | 720eee95cf20a9c1a9838487ff36fd8d3edd289d /java/org/gnu | |
| parent | ce3f9fba1a32260ff837d689ac6928a75bab86d9 (diff) | |
; * src/xdisp.c: Minor improvements of the commentary.
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions