* etc/TODO: Remove some things that got to-done.
commit38125d2ba2d0a137a4a371ac901bc8f468d1044d
authorGlenn Morris <rgm@gnu.org>
Thu, 30 Jun 2011 02:56:12 +0000 (29 19:56 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 30 Jun 2011 02:56:12 +0000 (29 19:56 -0700)
tree83d0109e9d8a24ca9b24cafcdb83a53d26427cf0
parentcc232200f77c373da233803992a70d2d30bb73ff
* etc/TODO: Remove some things that got to-done.
etc/TODO