diff options
| author | Victor Kareh <[email protected]> | 2019-05-23 13:09:37 -0400 |
|---|---|---|
| committer | Victor Kareh <[email protected]> | 2019-06-05 10:49:37 -0400 |
| commit | 0f37fceb6b2dd39b2693cd3f02a192e3afff96b2 (patch) | |
| tree | 5203f8c373ac58f8a406217e28c84afc24727e48 /src/tools | |
| parent | 74a74246ea975400f4b876240d3040bba6e82a7a (diff) | |
| download | marco-0f37fceb6b2dd39b2693cd3f02a192e3afff96b2.tar.bz2 marco-0f37fceb6b2dd39b2693cd3f02a192e3afff96b2.tar.xz | |
compositor: fix border_size
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/72003d38
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions