/src/Tools/jEdit/patches/jedit-4.5.2/
drwxr-xr-x [up]
-rw-r--r-- 2012-10-18 15:16 +0200 501 caret
-rw-r--r-- 2012-10-18 15:16 +0200 695 chunks
-rw-r--r-- 2012-10-18 15:16 +0200 2771 extended_styles
-rw-r--r-- 2012-10-18 15:16 +0200 1135 macos
-rw-r--r-- 2012-10-18 15:16 +0200 635 memory