| Name | Type | Size | Permissions | Actions |
|---|---|---|---|---|
| build.properties | file | 404 bytes | 0644 | |
| common.dtd | file | 5,685 bytes | 0644 | |
| css | dir | - | 0755 | |
| faq.dtd | file | 1,247 bytes | 0644 | |
| lang.dtd | file | 907 bytes | 0644 | |
| latex | dir | - | 0755 | |
| manualpage.dtd | file | 1,082 bytes | 0644 | |
| modulesynopsis.dtd | file | 2,246 bytes | 0644 | |
| scripts | dir | - | 0755 | |
| sitemap.dtd | file | 1,425 bytes | 0644 | |
| version.ent | file | 925 bytes | 0644 |