diff options
| author | Rémi Verschelde | 2017-08-31 16:05:26 +0200 |
|---|---|---|
| committer | GitHub | 2017-08-31 16:05:26 +0200 |
| commit | d57ba499cba0b4678503fbe54a7da8435c389902 (patch) | |
| tree | 005e062ee8117fa84d75e8263c1af78fb95f9102 /core/script_language.cpp | |
| parent | caf1447befba37e87bfef31192b98b9fbe2306b1 (diff) | |
| parent | a4a4f6dada28220da48170e50c4d7609742719c1 (diff) | |
| download | godot-d57ba499cba0b4678503fbe54a7da8435c389902.tar.gz godot-d57ba499cba0b4678503fbe54a7da8435c389902.tar.zst godot-d57ba499cba0b4678503fbe54a7da8435c389902.zip | |
Merge pull request #10814 from volzhs/editor-fonts-master
Replace editor font to NotoSans and update source code pro font
Diffstat (limited to 'core/script_language.cpp')
0 files changed, 0 insertions, 0 deletions