Tiny doc/misc edits
authorGlenn Morris <rgm@gnu.org>
Fri, 21 Mar 2014 07:00:21 +0000 (00:00 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 21 Mar 2014 07:00:21 +0000 (00:00 -0700)
commitf167458b5ec8e09baed154d12efa5b70cf1ad9d4
tree3e25eed806710a422a08df16eb61dd975bf9b33a
parent3e77f05d9185cdd3b1c7d60ac028e8031596e9ab
Tiny doc/misc edits

* doc/misc/ede.texi (ede-linux):
* doc/misc/vip.texi (New Bindings): Tiny copyedits.
doc/misc/ChangeLog
doc/misc/ede.texi
doc/misc/vip.texi