directory / @ 0:3b37d71af924 default tip

name size permissions
[up] drwxr-xr-x
dir. .settings/ drwxr-xr-x
dir. conf/ drwxr-xr-x
dir. src/ plugin drwxr-xr-x
dir. urls/ drwxr-xr-x
file .classpath 3876 -rw-r--r--
file .gitignore 75 -rw-r--r--
file .project 432 -rw-r--r--
file CHANGES.txt 69201 -rw-r--r--
file KEYS 17273 -rw-r--r--
file LICENSE.txt 329066 -rw-r--r--
file NOTICE.txt 427 -rw-r--r--
file README.txt 1593 -rw-r--r--
file build.xml 37349 -rw-r--r--
file default.properties 4731 -rw-r--r--