aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-09-01 22:43:43 -0400
committerRyan Kavanagh <rak@debian.org>2013-09-01 22:43:43 -0400
commit30afa99de3dc67815dbb70f0beaa1d787564ea7f (patch)
tree9ffd96e3aa3d865a86a65e8d274c5e7a0de253eb /emacsen/proofgeneral
parentAdded Adobe's SourceCodePro font (diff)
Added config for delta to ssh
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions