(Shell Options): Minor cleanup.
commite59d2bef6e07c7340b9882d5d37a28cb75f29dc1
authorRichard M. Stallman <rms@gnu.org>
Tue, 2 Jan 2007 21:01:08 +0000 (2 21:01 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 2 Jan 2007 21:01:08 +0000 (2 21:01 +0000)
tree8ab69d4ad2468a934915fcc842dce814f657ac45
parent668ef058b81aea2d1dd12f428a83078268240d67
(Shell Options): Minor cleanup.
man/misc.texi