Files Manager
| Name | Type | Size | Last Modified | Owner/Group | Permission | Action |
|---|---|---|---|---|---|---|
| . | dir | -- | 2025-07-15 02:20:12 | root/root | 0755 >> drwxr-xr-x | |
| .. | dir | -- | 2026-02-06 10:17:49 | root/root | 0755 >> drwxr-xr-x | |
| support | dir | -- | 2025-07-15 02:20:12 | root/root | 0755 >> drwxr-xr-x | |
| NEWS | text/plain | 2.25 KB | 2018-01-29 06:24:27 | root/root | 0644 >> -rw-r--r-- | |
| OLDNEWS | text/plain | 160.69 KB | 2018-01-29 06:24:27 | root/root | 0644 >> -rw-r--r-- | |
| README | text/plain | 4.07 KB | 2008-04-15 10:12:56 | root/root | 0644 >> -rw-r--r-- | |
| tech_report.tex | text/x-tex | 14.33 KB | 1998-11-23 07:30:27 | root/root | 0644 >> -rw-r--r-- |