diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2019-03-11 19:51:21 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2019-03-11 19:51:21 +0000 |
| commit | 22c9eb2c133d7f1664d6505653b181a8e326d240 (patch) | |
| tree | 1bbbda5d1f6f3551b4c6fdd0db08aa9019cd2b15 /distrib | |
| parent | 12bd4c94eaef92b987a8728a52bb84c5949a19da (diff) | |
sync
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/sets/lists/man/mi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/distrib/sets/lists/man/mi b/distrib/sets/lists/man/mi index b4a9776b18d..16b2629ac37 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1625,6 +1625,7 @@ ./usr/share/man/man4/mpe.4 ./usr/share/man/man4/mpi.4 ./usr/share/man/man4/mpii.4 +./usr/share/man/man4/mpip.4 ./usr/share/man/man4/mpu.4 ./usr/share/man/man4/mpw.4 ./usr/share/man/man4/msk.4 |