diff options
author | Glenn Morris <rgm@gnu.org> | 2014-12-13 17:57:46 -0800 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2014-12-13 17:57:46 -0800 |
commit | 4d806dc01d4ffdecadfe75e92f4f190952f5447c (patch) | |
tree | 3113df870a09d4b3153db4ecfebbd8dc4dfa5469 /doc/man | |
parent | a8af924ba902d93d37fe6f519508ec1104246351 (diff) | |
download | emacs-4d806dc01d4ffdecadfe75e92f4f190952f5447c.tar.gz emacs-4d806dc01d4ffdecadfe75e92f4f190952f5447c.tar.bz2 emacs-4d806dc01d4ffdecadfe75e92f4f190952f5447c.zip |
* INSTALL.REPO: Revert 2014-12-06 change.
You _can_ just run make after a clean checkout, thanks to the GNUmakefile.
Diffstat (limited to 'doc/man')
0 files changed, 0 insertions, 0 deletions