| Name | Size | Perms | Owner | Modified | Actions |
|---|---|---|---|---|---|
|
GZ
changelog.Debian.gz
|
2.45 KB | -rw-r--r-- | root:root | 2022-03-23 09:45 | |
|
---
copyright
|
2.18 KB | -rw-r--r-- | root:root | 2021-11-27 12:25 | |
|
HTML
manual.html
|
123.98 KB | -rw-r--r-- | root:root | 2019-07-13 17:50 | |
|
GZ
manual.pdf.gz
|
175.84 KB | -rw-r--r-- | root:root | 2019-07-13 17:50 | |
|
GZ
manual.ps.gz
|
226.29 KB | -rw-r--r-- | root:root | 2019-07-13 17:50 | |
|
GZ
manual.texi.gz
|
26.3 KB | -rw-r--r-- | root:root | 2022-03-23 09:45 |