diff make-dist @ 86313:2ffb843d7c37

etags: the --members option is now the default.
author Francesco Potortì <pot@gnu.org>
date Thu, 22 Nov 2007 10:39:44 +0000
parents 7a2e26f2fa76
children b4d02fc0c471 880960b70474
line wrap: on
line diff