Removed some doubly-deleted, commented out stuff from cl.texi
authorGlenn Morris <rgm@gnu.org>
Tue, 6 Nov 2012 02:30:16 +0000 (21:30 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 6 Nov 2012 02:30:16 +0000 (21:30 -0500)
commit9c9e806ca065a010c39b9a383daa6374178a8ca7
tree4ca8138d438e6611f13c9e1bf5ed033e0ee17e46
parent2027b1b30ab9aac3d67a96d3e2880e4e2c8449ca
Removed some doubly-deleted, commented out stuff from cl.texi
doc/misc/cl.texi