diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-11-04 15:21:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-04 15:21:06 +0100 |
| commit | 410373dce7dfd50bcce1a63d07af6cc924acc5ae (patch) | |
| tree | 3132cd97a4c5a24f61cf083a2445eece1c5efe6e /editor/editor_vcs_interface.h | |
| parent | 86da206b84e107585deddfebc2c311c9dcc10795 (diff) | |
| parent | 8ca0f1a71c427e9ece931672289d88ad0cbe5a9b (diff) | |
Merge pull request #33333 from Calinou/remove-unused-project-setting
Remove unused `editor/active` project setting
Diffstat (limited to 'editor/editor_vcs_interface.h')
0 files changed, 0 insertions, 0 deletions