aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-07-13 15:32:32 -0400
committerRyan Kavanagh <rak@debian.org>2013-07-13 15:32:32 -0400
commit904da95975156bbdcecbea065549f28aa947f291 (patch)
treec2c5f08953ac22df49ba9b92450c2ebc1d651f42 /emacsen/proofgeneral
parentMIT + offlineimap now works if using my patched version (diff)
Added rlwrap filter for mail
Diffstat (limited to 'emacsen/proofgeneral')
0 files changed, 0 insertions, 0 deletions