* README: Remove some unnecessary detail.
commit22d57787d65f62ee5f3c0127fe755bdff42746e1
authorGlenn Morris <rgm@gnu.org>
Wed, 15 Oct 2014 07:03:28 +0000 (15 00:03 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 15 Oct 2014 07:03:28 +0000 (15 00:03 -0700)
tree3e5e34da6bd06aa3ed96cf026a5ebc003e2a6fb9
parentaa31655369435ab3990c58173740054cef308af9
* README: Remove some unnecessary detail.
README