diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-02-11 15:31:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-11 15:31:12 +0100 |
| commit | ea0337909ce562e4ef0eaed1fc29c2940ebdecaf (patch) | |
| tree | 2c3290f949b66ec0f7799036d69a41010b1654cb /editor | |
| parent | 36892b7fc8633d450dd54e2266147b7a5677bb97 (diff) | |
| parent | d39e416c61570addba7bd617f9208dc81f9031fb (diff) | |
Merge pull request #57972 from BimDav/fix_has_setting4
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions