diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-02-19 15:07:32 -0500 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-02-19 15:07:32 -0500 |
| commit | 892c8f8e19fa0f8a5f03492789ba741527038c99 (patch) | |
| tree | 6e2b3695cb088fda5a83e8d513c1cf216707624e /emacsen/proofgeneral | |
| parent | Update emacsen Makefile so as to not needlessly recompile everything (diff) | |
Ignore emacsen/make-*
Diffstat (limited to 'emacsen/proofgeneral')
0 files changed, 0 insertions, 0 deletions