wok /tpp/stuff/ tip
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 optional-x.patch
|
1524 | -rw-r--r-- |
|
ruby19.patch
|
8255 | -rw-r--r-- |
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
|
optional-x.patch
|
1524 | -rw-r--r-- |
|
ruby19.patch
|
8255 | -rw-r--r-- |