diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-08-15 00:25:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-15 00:25:28 +0200 |
| commit | 103a95cf2c92e763f0091eed04412da588261279 (patch) | |
| tree | 8db08a0dd5d7a1bf2e25747dc1b2592a17211ed4 /doc | |
| parent | aded76cb84fd1081279d2ed11fd73b553c6e6b4e (diff) | |
| parent | 3e8f3049f44df55daa3f16c1318afac6a74a60fa (diff) | |
Merge pull request #41258 from YeldhamDev/projsettings_header_fixes
Fix and tweak the new header in "Project Settings"
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions