diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-06-04 00:21:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-04 00:21:04 +0200 |
| commit | 5507f9ef73c28850e23a2cce8ab60c9c290dd07f (patch) | |
| tree | 8f1ae7095624a12cb45c267d7dd034e54759f473 /editor/plugins/ot_features_plugin.h | |
| parent | 659f4b64d6281c833b7358b962d6104d1f0ba0b9 (diff) | |
| parent | 4bf5047fb00f6b447ff92b7e26248997efeef5ca (diff) | |
Merge pull request #61668 from guilhermefelipecgs/fix_style
Fix state machine style
Diffstat (limited to 'editor/plugins/ot_features_plugin.h')
0 files changed, 0 insertions, 0 deletions