directory /libervia/web/pages/merge-requests/disco/ @ 1624:fd421f1be8f5 default tip

name size permissions
[up] drwxr-xr-x
file page_meta.py 1413 -rw-r--r--