Are you sure you want to delete the file man-addons.el?
| Name | Size | Permission | Action |
|---|---|---|---|
| Changes.old.gz | 416107 bytes | 0644 | |
| POSIX-MANPAGES | 1288 bytes | 0644 | |
| README.Debian | 1140 bytes | 0644 | |
| TODO.Debian | 481 bytes | 0644 | |
| changelog.Debian.gz | 757 bytes | 0644 | |
| copyright | 86773 bytes | 0644 | |
| man-addons.el | 1798 bytes | 0644 | |
| man-pages-5.10.Announce | 2654 bytes | 0644 |