| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| manual.html | 2019-07-13 21:50 | 124K | ||
| manual.ps.gz | 2019-07-13 21:50 | 226K | ||
| manual.pdf.gz | 2019-07-13 21:50 | 176K | ||
| copyright | 2021-11-27 16:25 | 2.2K | ||
| changelog.Debian.gz | 2022-03-23 13:45 | 2.5K | ||
| manual.texi.gz | 2022-03-23 13:45 | 26K | ||