diff options
| author | Alberts Muktupāvels <[email protected]> | 2017-04-23 13:00:23 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2017-05-10 17:04:22 +0200 |
| commit | 024c1e487f90696bb66da4574dc607d96c5f5bbd (patch) | |
| tree | 7dd3183731a6e6ce36b4817e4bedb875ce03211a /src/themes | |
| parent | 146ba74e9e76f0c79af1dbefde5573cad65529ec (diff) | |
| download | marco-024c1e487f90696bb66da4574dc607d96c5f5bbd.tar.bz2 marco-024c1e487f90696bb66da4574dc607d96c5f5bbd.tar.xz | |
ui: avoid deprecated GdkDeviceManager
taken from:
https://git.gnome.org/browse/metacity/commit/?id=7ec9a6f
Diffstat (limited to 'src/themes')
0 files changed, 0 insertions, 0 deletions