/src/Tools/jEdit/patches/jedit-4.5.1/
drwxr-xr-x [up]
-rw-r--r-- 2012-04-25 22:00 +0200 525 caret
-rw-r--r-- 2012-04-25 22:00 +0200 2867 extended_styles
-rw-r--r-- 2012-04-25 22:00 +0200 484 macos
-rw-r--r-- 2012-04-25 22:00 +0200 659 memory