aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2015-02-21 11:45:12 -0500
committerRyan Kavanagh <rak@debian.org>2015-02-21 11:45:12 -0500
commita18aee12cc62e75a1ade3924cb6a7be8cce18fdb (patch)
tree77213a9b11f6afa80275b3f7a0bd36421383178d /emacsen/proofgeneral
parentUpdate .nailrc (diff)
Revert "Add ENSL to offlineimap"
This reverts commit 1f3642507fa8b3b911f7bdf1d099dbf49953027e.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions