e59bb87fb6
Merge pull request #10690 from volzhs/editor-font
...
Replace default editor font to NotoSansUI
2017-08-31 11:50:44 +02:00
110da7f816
Replace default editor font to NotoSansUI
2017-08-29 17:42:55 +09:00
dde0e93af8
Copyright: Various fixes
2017-08-27 13:23:09 +02:00
1c638e2976
Add project names as Comment fields in copyright file
...
This is compliant with the specification [0] and should allow us
to generate human-readable output from the machine-readable file.
[0] https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/#files-paragraph
(cherry picked from commit d84ed525a9
2017-07-14 22:03:21 +02:00
971b2b2aee
Document exhaustive licensing info of all files
...
Uses the machine-readable debian/copyright standard to be explicit
about both the licenses and the corresponding copyright attributions
for Godot source files and thirdparty libraries bundled in the source
repository.
(cherry picked from commit e776a1ebb2
2017-05-27 00:19:43 +02:00
Rémi Verschelde
volzhs