diff options
| author | Victor Kareh <[email protected]> | 2019-05-23 13:09:37 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2019-06-16 18:12:44 +0200 |
| commit | 95f81090e12dbd5e01ce8ceaf585368667e0e1c3 (patch) | |
| tree | 319edfc4f56266b674256e5075379ce8ab954632 /.github | |
| parent | fa32fffe0f6b0191cd17ce9ab19f89c4082497cf (diff) | |
| download | marco-95f81090e12dbd5e01ce8ceaf585368667e0e1c3.tar.bz2 marco-95f81090e12dbd5e01ce8ceaf585368667e0e1c3.tar.xz | |
compositor: fix border_size
upstream commit:
https://gitlab.gnome.org/GNOME/metacity/commit/72003d38
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions