diff options
| author | Chris Feng <chris.w.feng@gmail.com> | 2018-02-25T16·25+0800 |
|---|---|---|
| committer | Chris Feng <chris.w.feng@gmail.com> | 2018-02-25T16·25+0800 |
| commit | ad90af19a6b3db0e9aa987b7b3125b9e1533cc71 (patch) | |
| tree | 08f3595f230090b2c5202b3f1314d909045fc6ac /exwm-randr.el | |
| parent | a6cfe3f22d4dff076e3e5da6676c411a52d6590e (diff) | |
Make `exwm-manage-ping-timeout' a user option
* exwm-manage.el (exwm-manage-ping-timeout): Now a user option.
Diffstat (limited to 'exwm-randr.el')
0 files changed, 0 insertions, 0 deletions