K 10
svn:author
V 5
asami
K 8
svn:date
V 27
1995-10-11T09:25:58.000000Z
K 7
svn:log
V 217
Add "--batch" to PATCH_ARGS and PATCH_DIST_ARGS when ${BATCH} is set
to avoid an infinite loop in patch when the patch target is not found and
stdin is redirected from /dev/null (the "skip this patch? [n]" question).

END