mirror of
https://git.FreeBSD.org/src.git
synced 2025-01-06 13:09:50 +00:00
0d09ae1111
if a signal is received. This fixes a bug where killing the process would cause a "No manual entry for XXX" to be printed even if the manpage was found. |
||
---|---|---|
.. | ||
config.h | ||
config.h_dist | ||
gripes.c | ||
gripes.h | ||
Makefile | ||
util.c |