* etc/TODO: Remove some obsolete/deleted packages.
commit903a72b37a76b69b4642ceef493f52c78d2b3a38
authorGlenn Morris <rgm@gnu.org>
Tue, 5 Jun 2012 18:47:12 +0000 (5 14:47 -0400)
committerGlenn Morris <rgm@gnu.org>
Tue, 5 Jun 2012 18:47:12 +0000 (5 14:47 -0400)
tree7d36c7e2eccb7809a62fba68d7b00f88ef2cf15f
parentb3c659a1b49a452462952254d48bb06f1c1eaa39
* etc/TODO: Remove some obsolete/deleted packages.
etc/TODO