diff options
| author | RabsRincon <ruben@rinconblanco.es> | 2018-12-26 21:45:38 +0100 |
|---|---|---|
| committer | RabsRincon <ruben@rinconblanco.es> | 2018-12-26 21:45:38 +0100 |
| commit | 5706da42e175bbef88d120f4e5978d11a42fbde7 (patch) | |
| tree | 18727a05aea3b0165dfe560ea5415bb624c28d26 /lib/compilers/rust.js | |
| parent | d75c587678b88de11120400e63b9e4a3a404f858 (diff) | |
| download | compiler-explorer-5706da42e175bbef88d120f4e5978d11a42fbde7.tar.gz compiler-explorer-5706da42e175bbef88d120f4e5978d11a42fbde7.zip | |
* Add ability to use custom font family in editors
As suggested by @brainplot in #803
Diffstat (limited to 'lib/compilers/rust.js')
0 files changed, 0 insertions, 0 deletions