directory /tools/editor/ @ 615:6f3f5686a56e

name size permissions
[up] drwxr-xr-x
dir. fonts/ drwxr-xr-x
dir. gui/ drwxr-xr-x
dir. lang/ drwxr-xr-x
dir. plugins/ drwxr-xr-x
dir. scripts/ drwxr-xr-x
file LICENSE 1553 -rw-r--r--
file __init__.py 1005 -rw-r--r--
file run.py 1276 -rwxr-xr-x
file settings-dist.xml 1748 -rw-r--r--