diff make-dist @ 6945:63ab519f7057

* etags.c (main, print_help): eliminate the -F option.
author Francesco Potortì <pot@gnu.org>
date Mon, 18 Apr 1994 17:07:19 +0000
parents 15e380b232fa
children 5a03fc943b38
line wrap: on
line diff