* INSTALL.REPO: Revert 2014-12-06 change.
commit4d806dc01d4ffdecadfe75e92f4f190952f5447c
authorGlenn Morris <rgm@gnu.org>
Sun, 14 Dec 2014 01:57:46 +0000 (13 17:57 -0800)
committerGlenn Morris <rgm@gnu.org>
Sun, 14 Dec 2014 01:57:46 +0000 (13 17:57 -0800)
tree3113df870a09d4b3153db4ecfebbd8dc4dfa5469
parenta8af924ba902d93d37fe6f519508ec1104246351
* INSTALL.REPO: Revert 2014-12-06 change.

You _can_ just run make after a clean checkout, thanks to the GNUmakefile.
ChangeLog
INSTALL.REPO