directory /libervia/ @ 4352:382dc6e62b6e default tip

name size permissions
[up] drwxr-xr-x
dir. backend/ drwxr-xr-x
dir. cli/ drwxr-xr-x
dir. frontends/ drwxr-xr-x
dir. tui/ drwxr-xr-x