aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-05-13 16:25:27 -0400
committerRyan Kavanagh <rak@debian.org>2013-05-13 16:36:12 -0400
commit67a931dc0e404ca79adc9393ded1bb77be9a74a5 (patch)
tree32bd19a9a889f2337a55d4546bfd3e32ff924390 /emacsen/proofgeneral
parentFilter out PLV mail (diff)
Add msmtp config for MIT
Diffstat (limited to 'emacsen/proofgeneral')
0 files changed, 0 insertions, 0 deletions