diff options
| author | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-14 21:13:33 -0500 |
|---|---|---|
| committer | Kjetil Orbekk <kjetil.orbekk@gmail.com> | 2017-02-14 21:13:33 -0500 |
| commit | ebf34f3fdcd09164293fb4ebf4c17afec0d7e782 (patch) | |
| tree | 6c35ab8e4603f3bd840e6900ba2ae487c4542163 /vimrc | |
| parent | 4df30c2b95a0f3a06acffcfcc9c99a9c64a2aab0 (diff) | |
Fix fonts and add idris mode to emacs.
Diffstat (limited to 'vimrc')
0 files changed, 0 insertions, 0 deletions