aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2014-07-01 11:35:46 +0200
committerRyan Kavanagh <rak@debian.org>2014-07-01 11:35:46 +0200
commit02728bb2a543ea122e75a3ada6a7bfc926e4b1ae (patch)
tree53c53c7b1cec125da501e6f09e5bc166cc3c0003 /emacsen/proofgeneral
parentUpdate redshift location to Lyon (diff)
Switch to hermes
Diffstat (limited to 'emacsen/proofgeneral')
0 files changed, 0 insertions, 0 deletions