* admin/notes/multi-tty: Remove some of the more obviously obsolete stuff.
authorGlenn Morris <rgm@gnu.org>
Tue, 25 Feb 2014 02:46:59 +0000 (21:46 -0500)
committerGlenn Morris <rgm@gnu.org>
Tue, 25 Feb 2014 02:46:59 +0000 (21:46 -0500)
commit1fe40e04993ec27797d1474c1e86223a0e47c6d5
treef682748dbb7c1061c6ac8a53bf54567f46c61ce8
parent9c9e18e8f5b2751615abdf2be357ff6266531c62
* admin/notes/multi-tty: Remove some of the more obviously obsolete stuff.
admin/notes/multi-tty