diff options
| author | Mariano Guerra <[email protected]> | 2016-10-21 12:41:34 +0100 |
|---|---|---|
| committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
| commit | 0e6d53ca9790b8cc8ea8cf87e73b1ad052364231 (patch) | |
| tree | f432660eb8210ec3301a317441f0590761ce5954 /erts | |
| parent | d621aa8ab3420de2abaf7d839808b7e62f56ec61 (diff) | |
| download | otp-0e6d53ca9790b8cc8ea8cf87e73b1ad052364231.tar.gz otp-0e6d53ca9790b8cc8ea8cf87e73b1ad052364231.tar.bz2 otp-0e6d53ca9790b8cc8ea8cf87e73b1ad052364231.zip | |
use mono as first font family for code
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions