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 /.lgtm.yml | |
| parent | f32c042f3e14a2de2f2d416ff35b0a3c80785e33 (diff) | |
| parent | 8e3f71d75060c70745f541d5cab509f7bea690df (diff) | |
Merge pull request #51636 from Calinou/rename-lineshape2d
Rename LineShape2D to WorldMarginShape2D
Diffstat (limited to '.lgtm.yml')
0 files changed, 0 insertions, 0 deletions