diff make-dist @ 75684:4f39aeb27f75

(etags): Now --members is the default for etags, not for ctags yet.
author Francesco Potortì <pot@gnu.org>
date Mon, 05 Feb 2007 22:13:59 +0000
parents 3d45362f1d38
children 69151e6e8613 95d0cdf160ea
line wrap: on
line diff