shortened node names
authormelissa <melissa>
Thu, 14 May 1992 18:22:19 +0000 (18:22 +0000)
committermelissa <melissa>
Thu, 14 May 1992 18:22:19 +0000 (18:22 +0000)
commitecb4a562c58a0d0afc5a02a7f196b4f0628858d4
tree11ec4df46c037aceb52fd96e0d9a68b00dd60de5
parentbc0d3dc2cd17fdc05862dbfce40e5980e9e71372
shortened node names
20 files changed:
manual/=float.texinfo
manual/=limits.texinfo
manual/=process.texinfo
manual/arith.texi
manual/filesys.texi
manual/intro.texi
manual/io.texi
manual/job.texi
manual/lang.texi
manual/libc.texinfo
manual/llio.texi
manual/math.texi
manual/memory.texi
manual/search.texi
manual/setjmp.texi
manual/socket.texi
manual/stdio.texi
manual/sysinfo.texi
manual/terminal.texi
manual/time.texi