directory /libervia/frontends/tools/ @ 4321:2246eeeccc74

name size permissions
[up] drwxr-xr-x
file __init__.py 0 -rw-r--r--
file aio.py 5120 -rw-r--r--
file composition.py 5652 -rw-r--r--
file css_color.py 7673 -rw-r--r--
file display_servers.py 3631 -rw-r--r--
file games.py 3002 -rw-r--r--
file host_listener.py 1491 -rw-r--r--
file jid.py 3393 -rw-r--r--
file misc.py 3687 -rw-r--r--
file portal_desktop.py 16670 -rw-r--r--
file strings.py 3824 -rw-r--r--
file webrtc.py 57904 -rw-r--r--
file webrtc_file.py 10408 -rw-r--r--
file webrtc_models.py 3416 -rw-r--r--
file webrtc_remote_control.py 12167 -rw-r--r--
file xmltools.py 1726 -rw-r--r--
file xmlui.py 42442 -rw-r--r--