* README: Remove some unnecessary detail.
commit0b298692909debe108be77e9d357b49816bafb16
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)
tree95c37da988278c74066d03ff00384149a5b88c8e
parent83e1e4d26078d2b9ec773fd5cc9fc0ea01d9d690
* README: Remove some unnecessary detail.
README