diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-09 19:54:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-09 19:54:52 +0200 |
| commit | c294993d97bdb350d8a1e84a4050430fa973daed (patch) | |
| tree | c2402e87c69a98e909f4026c8f7e238d3054ed2d /thirdparty | |
| parent | 138004033753f68b2d803373d0a9d274db6abf54 (diff) | |
| parent | 965b6ac2736dd7bac8686cd447f0e9430e020349 (diff) | |
Merge pull request #18745 from DmitryKrutskikh/minor-fix-project-manager
Disable 'run' button if any project not selected
Diffstat (limited to 'thirdparty')
0 files changed, 0 insertions, 0 deletions