| File manager - /etc/texlive/ | |||||||||
|---|---|---|---|---|---|---|---|---|---|
|
|
|
||||||||
| Filename | Size | Date | Rights | Manage | |||
|---|---|---|---|---|---|---|---|
| . | 2023-06-22 11:15:31 | ||||||
| .. | 2025-12-24 20:58:45 | ||||||
| dvips | 2023-06-22 11:15:31 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | |
| tex | 2023-06-22 11:15:31 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | |
| web2c | 2023-06-22 11:15:36 | drwxr-xr-x | Delete | Rename | Compress zip | Compress .tar.gz | |