/Admin/Mercurial/
drwxr-xr-x [up]
drwxr-xr-x Central
-rw-r--r-- 2013-09-16 12:51 +0200 294 cvsids
-rwxr-xr-x 2013-09-16 12:51 +0200 1920 hgwebdir.cgi
-rw-r--r-- 2013-09-16 12:51 +0200 5880 isabelle-style-1.3.1.diff
-rw-r--r-- 2013-09-16 12:51 +0200 2613 isabelle-style-1.4.3--1.8.2.diff