aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2014-07-01 11:41:09 +0200
committerRyan Kavanagh <rak@debian.org>2014-07-01 11:41:09 +0200
commit1f3642507fa8b3b911f7bdf1d099dbf49953027e (patch)
tree7e8fcb7bc385f1e55d07b6e4074b625d45121e63 /emacsen/proofgeneral
parentUse mupdf instead of evince (diff)
Add ENSL to offlineimap
Diffstat (limited to 'emacsen/proofgeneral')
0 files changed, 0 insertions, 0 deletions