diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-25 22:18:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-25 22:18:41 +0200 |
| commit | 242b7151445ae98b782c9c70644d47f8a5630094 (patch) | |
| tree | ea50ecb491ff1e67e17902e6df347a11bf2f93cc /editor/property_editor.h | |
| parent | 072646f5ddb0ccc3f79ed717234eac656f8d2ea8 (diff) | |
| parent | abd66c1bb09b85199ed0e513d63fd6b827e4b21b (diff) | |
Merge pull request #38996 from mbrlabs/android-plugin-fix
Perform a clean Gradle build if android plugins changed
Diffstat (limited to 'editor/property_editor.h')
0 files changed, 0 insertions, 0 deletions