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 /.editorconfig | |
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 '.editorconfig')
0 files changed, 0 insertions, 0 deletions