diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-09-02 20:52:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-02 20:52:11 +0200 |
| commit | 33b4153764980eaaeb11e74d6ed4a158136287e4 (patch) | |
| tree | 431530f656e78c4a175cddf5beb646dff08db4da /platform/linuxbsd/gl_manager_x11.cpp | |
| parent | f7a26393b6ef5c45197a7ee8d3b78b93d63153a1 (diff) | |
| parent | e5c183b01e3e748037d9a9a70174046df7f467bf (diff) | |
Merge pull request #64917 from Tim-Fronsee/fix/add-gutter-total-width
Diffstat (limited to 'platform/linuxbsd/gl_manager_x11.cpp')
0 files changed, 0 insertions, 0 deletions