directory / @ 60:fa06de8a96bc tip

name size permissions
[up] drwxr-xr-x
dir. dtds/ drwxr-xr-x
dir. files/ drwxr-xr-x
dir. project/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgignore 185 -rw-r--r--
file README.markdown 1012 -rw-r--r--
file build-catalog.sh 223 -rwxr-xr-x
file files.txt 1114 -rw-r--r--
file sbt 335 -rwxr-xr-x
Set up and maintained by W3C Systems Team, please report bugs to sysreq@w3.org.

W3C would like to thank Microsoft who donated the server that allows us to run this service.