| Name | Size | Permission | Action | ||
|---|---|---|---|---|---|
| changelog.Debian.gz | 2.453 KB | -rw-r--r-- | Edit | Rename | Delete |
| copyright | 2.176 KB | -rw-r--r-- | Edit | Rename | Delete |
| manual.html | 123.982 KB | -rw-r--r-- | Edit | Rename | Delete |
| manual.pdf.gz | 175.84 KB | -rw-r--r-- | Edit | Rename | Delete |
| manual.ps.gz | 226.294 KB | -rw-r--r-- | Edit | Rename | Delete |
| manual.texi.gz | 26.297 KB | -rw-r--r-- | Edit | Rename | Delete |