diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2023-08-25 08:53:21 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2023-08-25 08:53:21 +0300 |
| commit | f3fa436bc0f1697457335127d5acb0c57e50afae (patch) | |
| tree | baae9eea7f138487014f59938d748d3e5d7c9d9a /java/org | |
| parent | 02532bb5821b720e0207d8bbf76941bfba8cabd4 (diff) | |
; Fix doc string of 'current-idle-time'
* src/keyboard.c (Fcurrent_idle_time): Doc fix (bug#65512).
Diffstat (limited to 'java/org')
0 files changed, 0 insertions, 0 deletions