diff options
author | defanor <defanor@uberspace.net> | 2018-01-03 10:34:14 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2018-01-03 10:34:14 +0300 |
commit | 9c34c4957728363e9d81f5684df18d26cc3727c0 (patch) | |
tree | a4560dbe7e9cc775b8f2b946654759381b9d3d8c /.ansible | |
parent | 81e6957bad029497c061f15d30955faea939466e (diff) |
Add idris-mode faces
Diffstat (limited to '.ansible')
0 files changed, 0 insertions, 0 deletions