directory /tools/editor/ @ 673:32539411bf0d

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 1801 -rw-r--r--