* doc/misc/erc.texi: Remove hand-written node pointers.
authorGlenn Morris <rgm@gnu.org>
Sat, 6 Oct 2012 01:13:01 +0000 (21:13 -0400)
committerGlenn Morris <rgm@gnu.org>
Sat, 6 Oct 2012 01:13:01 +0000 (21:13 -0400)
commita03bb33fb07f49255847eebdb4c47299ab38b45c
treee9b3ced2eaacdaffa7fc5bba156e54b0b42fc663
parentdf5d5f59f21b9c6029236b1db2cc8c5bc6715d24
* doc/misc/erc.texi: Remove hand-written node pointers.
doc/misc/ChangeLog
doc/misc/erc.texi