diff options
| author | Theo de Raadt <deraadt@cvs.openbsd.org> | 2013-07-24 03:38:26 +0000 |
|---|---|---|
| committer | Theo de Raadt <deraadt@cvs.openbsd.org> | 2013-07-24 03:38:26 +0000 |
| commit | 66114733f75f63cfe0bd1b937120ea77d695a136 (patch) | |
| tree | 1e96c74d38a2b78dff6a3815b593be4b42dbcb77 /distrib/sets/lists/man | |
| parent | 1da707271670a0f0363515b30c4480bcb37a11b4 (diff) | |
sync
Diffstat (limited to 'distrib/sets/lists/man')
| -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 68e0991167c..0f61b84e876 100644 --- a/distrib/sets/lists/man/mi +++ b/distrib/sets/lists/man/mi @@ -271,6 +271,7 @@ ./usr/share/info/gccint.info ./usr/share/info/gdb.info ./usr/share/info/gdbint.info +./usr/share/info/heimdal.info ./usr/share/info/history.info ./usr/share/info/info-stnd.info ./usr/share/info/info.info |