wok-current /coccinella/stuff/ tip
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 coccinella
|
80 | -rwxr-xr-x |
|
coccinella.desktop
|
295 | -rw-r--r-- |
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
|
coccinella
|
80 | -rwxr-xr-x |
|
coccinella.desktop
|
295 | -rw-r--r-- |