projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0be25c6) | patch
* texinfo.tex (\indexnofonts,\indexdummies): add \url and \uref to
authorKarl Berry <karl@gnu.org>
Sun, 1 Nov 1998 12:43:32 +0000 (12:43 +0000)
committerKarl Berry <karl@gnu.org>
Sun, 1 Nov 1998 12:43:32 +0000 (12:43 +0000)
commit9ad3cb03b7a4d126ddbc2784224a66d305058aba
tree80025820e3fe8531005ab276d5a9abcf8b52df46tree | snapshot
parent0be25c6986a7d2f370bed76dbeebf8b0e897439ecommit | diff
* texinfo.tex (\indexnofonts,\indexdummies): add \url and \uref to
  list.
texinfo.tex diff | blob | history
Domain: System / Base;