diff options
| author | Moritz Maxeiner <mm@ucw.sh> | 2023-07-22 16:55:07 +0200 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2023-07-22 18:40:55 +0300 |
| commit | 7a0c0b2ad80004127add275cf703cc0ac03d174c (patch) | |
| tree | 152ee74bec8ff4b60242e4c7ec1d74db6e11d2b2 /java/org/gnu | |
| parent | 191aef4f618408c1be9f57459eaaa91b955fec18 (diff) | |
* etc/NEWS: Announce the new option 'mouse-prefer-closest-glyph'.
Diffstat (limited to 'java/org/gnu')
0 files changed, 0 insertions, 0 deletions