diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2016-05-01 22:44:14 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-05-01 22:44:48 -0700 |
| commit | fa51e91ea2bdcd4c6160bffe8dee45a15a2ff0cd (patch) | |
| tree | 73bca919bcdfd9a917b6a4947456c56fc80fa763 /make-dist | |
| parent | 743a32a153a8b77c379b33b204cf7ae30d9edd2b (diff) | |
| download | emacs-fa51e91ea2bdcd4c6160bffe8dee45a15a2ff0cd.tar.gz | |
Tweak .gitignore
* .gitignore: Remove leim/changed.misc, leim/changed.tit,
as these files are no longer created. Add gmon.out, for
-pg profiling. Sort.
Diffstat (limited to 'make-dist')
0 files changed, 0 insertions, 0 deletions