/Prover/G4ip/.svn/
drwxr-xr-x [up]
drwxr-xr-x prop-base
drwxr-xr-x text-base
-rw-r--r-- 2013-06-19 10:21 -0400 3292 entries