summaryrefslogtreecommitdiff
path: root/.config
diff options
context:
space:
mode:
authordefanor <defanor@uberspace.net>2018-01-03 10:34:14 +0300
committerdefanor <defanor@uberspace.net>2018-01-03 10:34:14 +0300
commit9c34c4957728363e9d81f5684df18d26cc3727c0 (patch)
treea4560dbe7e9cc775b8f2b946654759381b9d3d8c /.config
parent81e6957bad029497c061f15d30955faea939466e (diff)
Add idris-mode faces
Diffstat (limited to '.config')
0 files changed, 0 insertions, 0 deletions