diff options
| author | Drew DeVault <sir@cmpwn.com> | 2018-03-31 14:14:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-31 14:14:16 -0400 |
| commit | 00e12278c7f94ff7d9505e359c671d50e8622020 (patch) | |
| tree | c5e5eba6b178f16e86c4f452219466cf405124ad /.gitignore | |
| parent | 96c6091f802c803ccd6c7acd3e1165f6a8d4da2d (diff) | |
| parent | 37aae0b2cdebeba10f141b8646886614e1646530 (diff) | |
Merge pull request #793 from emersion/x11-backend-flush-destroy-window
backend/x11: flush after destroying window
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions