directory /tools/editor/ @ 488:23d01971e9c2

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 1548 -rw-r--r--
file __init__.py 1005 -rw-r--r--
file run.py 1276 -rwxr-xr-x
file settings-dist.xml 1456 -rw-r--r--