diff options
| author | Gilles Roudiere <gilles.roudiere@gmail.com> | 2017-09-30 12:38:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-30 12:38:59 +0200 |
| commit | e6dfce6b526fb3a48ceb450f9fe476ad94d7186a (patch) | |
| tree | 2e9f9247ffeadc206e5f39500e1a7fef1f22c085 /modules/mono/utils/path_utils.h | |
| parent | f494470005675a03584308d850307bf3c1fd568e (diff) | |
| parent | 20eb17a685bb426b2de4a1e791d90241e1a5b5e6 (diff) | |
Merge pull request #11704 from Hinsbart/move_interface_properties
EditorSettings: Move interface/ properties to interface/editor
Diffstat (limited to 'modules/mono/utils/path_utils.h')
0 files changed, 0 insertions, 0 deletions