directory /tools/editor/ @ 505:ee65aa323457

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--