diff options
| author | Amin Bandali <amin@aminb.org> | 2018-04-30 19:56:31 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-04-30 19:56:31 -0400 |
| commit | e9bcfa3016d7bd2fc1ed8531a6c6a612b0fcddc3 (patch) | |
| tree | 22f983ac92b2a21d406622e1544bc41b67914a5a /rc.org | |
| parent | 3f0f8d0130f681bf7f5d8d20d60dc0f8d2c8db04 (diff) | |
| download | configs-e9bcfa3016d7bd2fc1ed8531a6c6a612b0fcddc3.tar.gz configs-e9bcfa3016d7bd2fc1ed8531a6c6a612b0fcddc3.tar.xz configs-e9bcfa3016d7bd2fc1ed8531a6c6a612b0fcddc3.zip | |
[emacs] unicode font stack around Ubuntu Mono and Hack
Pretty much my ideal font stack for writing Lean.
Diffstat (limited to 'rc.org')
0 files changed, 0 insertions, 0 deletions