diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2017-04-22 17:47:22 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2017-04-22 17:47:22 +0000 |
| commit | 4a94c51fbcbf515168d636454b9d9f09ea036238 (patch) | |
| tree | b6e949362cebe15f0cc1499e76d864eb2ab8993b /distrib | |
| parent | 29d42a597c3edd2982d6351a25d97331e646b031 (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 dde6443fcaf..43428b786fd 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1871,6 +1871,7 @@ ./usr/share/man/man4/wdsc.4 ./usr/share/man/man4/we.4 ./usr/share/man/man4/wi.4 +./usr/share/man/man4/witness.4 ./usr/share/man/man4/wpi.4 ./usr/share/man/man4/wscons.4 ./usr/share/man/man4/wsdisplay.4 |