diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-13 15:08:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-13 15:08:31 +0100 |
| commit | 1cf387ed9dcce39afb9c06b3a50b725d8b6f0461 (patch) | |
| tree | d3b7ad93de9a712d24f8599dce7c72f000ffa908 /platform/android | |
| parent | 087ffc8b5aafafba8fbb17d0689c0ceb88baa27a (diff) | |
| parent | d88103172c4209f9adb98a1341133df5ba016ed5 (diff) | |
Merge pull request #35079 from akien-mga/managers-dont-build-solutions
Ignore command line --build-solutions when not editing project
Diffstat (limited to 'platform/android')
0 files changed, 0 insertions, 0 deletions