diff options
| author | Ryan Kavanagh <rak@debian.org> | 2015-09-16 11:21:55 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2015-09-16 11:21:55 -0400 |
| commit | 515beab3a084dc191ac2c7407ba7f0f8aeffafad (patch) | |
| tree | fccdd033f4e75fbe2211ae3097fd5e958b78bf52 /emacsen/proofgeneral | |
| parent | Don't quote stuff in mailcap (diff) | |
Tidy up emacsen submodules
Diffstat (limited to '')
| m--------- | emacsen/proofgeneral | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/emacsen/proofgeneral b/emacsen/proofgeneral deleted file mode 160000 -Subproject 1afd9da42eaf12cf1c46f016372fb6d8054c58f |