diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-22 18:26:32 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-22 18:26:32 +0100 |
| commit | 40e41e22540c9b88b5afa1d9eb586bc8ae392d58 (patch) | |
| tree | f8ed2c37884421abe880307ae1f0cf50a50f9667 /thirdparty/misc | |
| parent | 7ffc3ec6be38042db63b154b9aadb09ae810b699 (diff) | |
| parent | 387ee7d763df51b0d5f9311c0068abef7bd11257 (diff) | |
Merge pull request #35435 from bojidar-bg/34154-project-setting-properties
Get real default values for project settings in documentation
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions