From 35710ea2ef31ca57e65d784986e3c12bd45d1a04 Mon Sep 17 00:00:00 2001 From: deraadt Date: Tue, 29 Jul 2008 20:19:36 +0000 Subject: [PATCH] sync --- distrib/sets/lists/comp/mi | 2 ++ 1 file changed, 2 insertions(+) diff --git a/distrib/sets/lists/comp/mi b/distrib/sets/lists/comp/mi index e86df18ea5a..3b9be652f6b 100644 --- a/distrib/sets/lists/comp/mi +++ b/distrib/sets/lists/comp/mi @@ -3568,6 +3568,8 @@ ./usr/share/man/cat3/field_userptr.0 ./usr/share/man/cat3/fileno.0 ./usr/share/man/cat3/filter.0 +./usr/share/man/cat3/finite.0 +./usr/share/man/cat3/finitef.0 ./usr/share/man/cat3/firstkey.0 ./usr/share/man/cat3/flash.0 ./usr/share/man/cat3/flockfile.0 -- 2.20.1