/src/Tools/jEdit/
drwxr-xr-x [up]
drwxr-xr-x nbproject
drwxr-xr-x plugin
drwxr-xr-x src
-rw-r--r-- 2008-10-20 17:02 +0200 801 README_BUILD
-rw-r--r-- 2008-10-20 17:02 +0200 3310 build.xml
-rw-r--r-- 2008-10-20 17:02 +0200 82 manifest.mf