aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-03-26 17:28:24 -0400
committerRyan Kavanagh <rak@debian.org>2013-03-26 17:28:24 -0400
commit50568d2e2ae7cb3fbde140a1c01f6b36b302d55e (patch)
tree554d2df09a1203ad47f602c6b7cf372fc6a0e486 /emacsen/proofgeneral
parentAdd powerlinerc to tmux (diff)
More ssh-config cleanup
Diffstat (limited to 'emacsen/proofgeneral')
0 files changed, 0 insertions, 0 deletions