wok-current /celestia/stuff/
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 celestia-1.6.0-gcc45.patch
|
1422 | -rw-r--r-- |
|
celestia.desktop
|
435 | -rw-r--r-- |
|
make-dereferenced-temporaries-explicit
|
1702 | -rw-r--r-- |
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
|
celestia-1.6.0-gcc45.patch
|
1422 | -rw-r--r-- |
|
celestia.desktop
|
435 | -rw-r--r-- |
|
make-dereferenced-temporaries-explicit
|
1702 | -rw-r--r-- |