Minor cleanup.
authorrms <rms>
Sat, 15 Feb 1992 22:45:42 +0000 (22:45 +0000)
committerrms <rms>
Sat, 15 Feb 1992 22:45:42 +0000 (22:45 +0000)
commit70c548db771bdc5f1f5fc7739cda30ef597c19f5
treeece756bd03fa277e8ab49af1a1c796ba03d0e0b0
parent97e24c2f52ffce95bf9f680e3958d76b1ccc079f
Minor cleanup.
manual/maint.texi