directory /libervia/ @ 4372:ec9583cac6c2 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