projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f79de6) | patch
* texinfo.tex (\ninettsl): cmsltt10 is not standard, so use
authorKarl Berry <karl@gnu.org>
Mon, 22 Jun 1998 13:00:05 +0000 (13:00 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 22 Jun 1998 13:00:05 +0000 (13:00 +0000)
commit20258f42d47024e25655a125911ff8271e144860
tree4ce2808b07b9578a81bbdbbb1fe3d882fccc7ec7tree | snapshot
parent4f79de612bac5da5ec172283c2c4147d2fd3753fcommit | diff
* 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 diff | blob | history
Domain: System / Base;