directory /tools/editor/ @ 697:ecaa4d98f05f tip

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