diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2016-10-03 16:19:10 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2016-10-03 16:19:10 +0000 |
| commit | acf921d598f48ce16cb7735a3843315dc7f7affd (patch) | |
| tree | 4446c0186710310dc1de5efc22f0d4d5de608330 /distrib | |
| parent | 4298ffc0ed3b673be190d48f7acf5d5b23c0365a (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 cdc7201ae98..6543236ee57 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1186,6 +1186,7 @@ ./usr/share/man/man4/armv7/omdog.4 ./usr/share/man/man4/armv7/omgpio.4 ./usr/share/man/man4/armv7/ommmc.4 +./usr/share/man/man4/armv7/ompinmux.4 ./usr/share/man/man4/armv7/omwugen.4 ./usr/share/man/man4/armv7/plrtc.4 ./usr/share/man/man4/armv7/pluart.4 |