diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-31 16:05:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-31 16:05:26 +0200 |
| commit | d57ba499cba0b4678503fbe54a7da8435c389902 (patch) | |
| tree | 005e062ee8117fa84d75e8263c1af78fb95f9102 /logo.png | |
| parent | caf1447befba37e87bfef31192b98b9fbe2306b1 (diff) | |
| parent | a4a4f6dada28220da48170e50c4d7609742719c1 (diff) | |
Merge pull request #10814 from volzhs/editor-fonts-master
Replace editor font to NotoSans and update source code pro font
Diffstat (limited to 'logo.png')
0 files changed, 0 insertions, 0 deletions