diff man/info.texi @ 37780:b0a9cb7d2109

Redundant file removed. Use etc/etags.1
author Francesco Potortì <pot@gnu.org>
date Thu, 17 May 2001 13:08:18 +0000
parents 7615043715cd
children 127d6dc34db9
line wrap: on
line diff