aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-03-26 10:26:40 -0400
committerRyan Kavanagh <rak@debian.org>2013-03-26 10:26:40 -0400
commit5656ec1fc2b3c8c4a9727f40f9c20b5409745513 (patch)
tree3e3d72c571304702f8e037b1d63ad2f5623b84d4 /emacsen/proofgeneral
parentAdd ssh keys for MIT (diff)
Fix precmd, prexec in zsh to work with tmux (again)
Diffstat (limited to 'emacsen/proofgeneral')
0 files changed, 0 insertions, 0 deletions