diff options
| author | Chris Feng <chris.w.feng@gmail.com> | 2016-08-12T11·19+0800 |
|---|---|---|
| committer | Chris Feng <chris.w.feng@gmail.com> | 2016-08-12T11·19+0800 |
| commit | 6bd85db30053b493e079893af0ef9668d134057d (patch) | |
| tree | b74cf1df8185b85938fe9efe855492c28ede7c99 /.gitignore | |
| parent | db5128c1b9f77ecefd62a7150ccbdef33dd870af (diff) | |
* exwm-manage.el (exwm-manage--scan): Check for possibly
destroyed child.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions