diff options
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 00560b9c073..a19de5fc0d4 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -1200,6 +1200,7 @@ ./usr/share/man/man4/armv7/sxidog.4 ./usr/share/man/man4/armv7/sxie.4 ./usr/share/man/man4/armv7/sxiintc.4 +./usr/share/man/man4/armv7/sximmc.4 ./usr/share/man/man4/armv7/sxipio.4 ./usr/share/man/man4/armv7/sxitimer.4 ./usr/share/man/man4/armv7/sysreg.4 |