diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-06-18 15:00:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-18 15:00:38 +0200 |
| commit | e19da5ab6ac1acd965842c5deaa329dad8ea3299 (patch) | |
| tree | 0d7939aefcceffb5d5728bfc743d86b3e321bd2e /misc/scripts | |
| parent | 88cc8074d0798b9119b6d36753d99f890ec4e66b (diff) | |
| parent | 03bb14bcc56e33208865b37d4ef8ae0c3a72cda8 (diff) | |
Merge pull request #19589 from NathanWarden/build_solutions_force_editor
The build-solutions flag now forces editor mode.
Diffstat (limited to 'misc/scripts')
0 files changed, 0 insertions, 0 deletions