diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-10-02 13:49:59 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-02 13:49:59 +0200 |
commit | 88a14949dda474fd8fa5be6b4be527cd0a56f6cd (patch) | |
tree | 2bd78af33023eab853fe29b3dc20f8bca868eff7 /doc/Makefile | |
parent | 12d80e9d834ebdbfa66a50236cb8a752ae710150 (diff) | |
parent | 73429cf9f5c6733b4dcca5aa20e1832898f128c0 (diff) |
Merge pull request #22612 from Dragoncraft89/master
Improve doc of ProjectSettings
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions