* texinfo.tex (\ninettsl): cmsltt10 is not standard, so uselibc-980623
commit60ad065a2f1af6fac7687330f24a3de5158616e1
authorkarl <karl>
Mon, 22 Jun 1998 13:00:05 +0000 (22 13:00 +0000)
committerkarl <karl>
Mon, 22 Jun 1998 13:00:05 +0000 (22 13:00 +0000)
treeed94db8f1d22bfd23ed781b634913ca7c886e7ab
parent7286347545d27a3d13dc765963ee4793570b26c6
* texinfo.tex (\ninettsl): cmsltt10 is not standard, so use
cmsltt10 scaled 900.
  Date: Mon, 15 Jun 1998 12:35:41 +0200 (MET DST)
  From: Werner Struckmann <struck@ips.cs.tu-bs.de>.
texinfo.tex