Change node name.
authorrms <rms>
Wed, 23 Sep 1992 06:00:12 +0000 (06:00 +0000)
committerrms <rms>
Wed, 23 Sep 1992 06:00:12 +0000 (06:00 +0000)
commitc20081e8759bf07dc92ce2c5fdfea7c87ba62b12
tree580693d58a29d1d3374f5765893aa9a573e66bcf
parent08904c202b53888c3d22f847938e5d2633f317c9
Change node name.
manual/header.texi