summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <rverschelde@gmail.com>2018-10-02 13:49:59 +0200
committerGitHub <noreply@github.com>2018-10-02 13:49:59 +0200
commit88a14949dda474fd8fa5be6b4be527cd0a56f6cd (patch)
tree2bd78af33023eab853fe29b3dc20f8bca868eff7 /doc/Makefile
parent12d80e9d834ebdbfa66a50236cb8a752ae710150 (diff)
parent73429cf9f5c6733b4dcca5aa20e1832898f128c0 (diff)
Merge pull request #22612 from Dragoncraft89/master
Improve doc of ProjectSettings
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions