guenther 5b133f3f27 Delete obsolete /* ARGSUSED */ lint comments. ... ok miod@ millert@		2023-03-08 04:43:04 +00:00
..
echo.1	improve markup quality in the cases found by the new "--" style message	2018-03-16 16:58:26 +00:00
echo.c	Delete obsolete /* ARGSUSED */ lint comments.	2023-03-08 04:43:04 +00:00
Makefile