~ $
| name | last edit | size | owner |
permission | options |
| .. | |||||
| DeflateStream | 2024-07-18 03:29:54 | dir | root |
drwxr-xr-x | |
| GzipStream | 2024-07-18 03:29:54 | dir | root |
drwxr-xr-x | |
| call-i.ri | 2019-12-02 08:00:45 | 242 B | root |
-rw-r--r-- | |
| cdesc-Deflater.ri | 2019-12-02 08:00:45 | 1.01 KB | root |
-rw-r--r-- | |
| new-c.ri | 2019-12-02 08:00:45 | 851 B | root |
-rw-r--r-- | |
| should_deflate%3f-i.ri | 2019-12-02 08:00:45 | 288 B | root |
-rw-r--r-- |