diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-08-14 09:36:16 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-14 09:36:16 +0200 |
commit | 59879447a395adc4ced2ee7e88b0ef1bcc32c82d (patch) | |
tree | a17c5dc4fddebd4379d57c3de0ba88a01638b87d /platform/linuxbsd/display_server_x11.h | |
parent | f32c042f3e14a2de2f2d416ff35b0a3c80785e33 (diff) | |
parent | 8e3f71d75060c70745f541d5cab509f7bea690df (diff) |
Merge pull request #51636 from Calinou/rename-lineshape2d
Rename LineShape2D to WorldMarginShape2D
Diffstat (limited to 'platform/linuxbsd/display_server_x11.h')
0 files changed, 0 insertions, 0 deletions