/src/Tools/jEdit/
drwxr-xr-x [up]
drwxr-xr-x contrib jEdit
drwxr-xr-x dist-template
drwxr-xr-x nbproject
drwxr-xr-x plugin
drwxr-xr-x src
-rw-r--r-- 2010-11-03 21:53 +0100 2821 README
-rw-r--r-- 2010-11-03 21:53 +0100 2574 README_BUILD
-rw-r--r-- 2010-11-03 21:53 +0100 4916 build.xml
-rwxr-xr-x 2010-11-03 21:53 +0100 1616 makedist
-rw-r--r-- 2010-11-03 21:53 +0100 82 manifest.mf