Merge pull request #11253 from djrm/pr_better_docs

Improved editor docs
This commit is contained in:
Rémi Verschelde
2017-09-14 12:06:36 +02:00
committed by GitHub
12 changed files with 239 additions and 166 deletions

View File

@ -150,9 +150,9 @@ Comment: Noto Sans font
Copyright: 2012, Google Inc.
License: OFL-1.1
Files: ./thirdparty/fonts/source_code_pro.otf
Comment: Source Code Pro font
Copyright: 2010, 2012, Adobe Systems Incorporated
Files: ./thirdparty/fonts/mononoki_Regular.ttf
Comment: Mononoki font
Copyright: 2013, Matthias Tellen
License: OFL-1.1
Files: ./thirdparty/freetype/