aboutsummaryrefslogtreecommitdiff
path: root/emacsen/proofgeneral
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-03-02 23:03:01 -0500
committerRyan Kavanagh <rak@debian.org>2013-03-02 23:03:01 -0500
commit0f86e946ec38645f6249df262edc13537ed7b048 (patch)
tree2a9c0c0b379320f7e7a14e6495b8903f5b4598d0 /emacsen/proofgeneral
parentHandle the case of clobber having been run in emacsen clean (diff)
Drop git-el from emacs
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions