diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-02-19 15:07:03 -0500 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-02-19 15:07:03 -0500 |
| commit | eb64fe1687c526136d37839df00c542a99693ec8 (patch) | |
| tree | 78b1a8e8e7edeebae167a0d671ba8e01fe3c2790 /.gitignore | |
| parent | Update path to proofgeneral in .emacs (diff) | |
Update emacsen Makefile so as to not needlessly recompile everything
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions