directory / @ 289:304c51f5ceb5 default tip

name size permissions
dir. doc/ webpages drwxr-xr-x
dir. examples/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgignore 45 -rw-r--r--
file .hgtags 602 -rw-r--r--
file ChangeLog 3693 -rw-r--r--
file LICENCE 18011 -rw-r--r--
file Notes 3670 -rw-r--r--
file README.md 2834 -rw-r--r--
file build.xml 12002 -rw-r--r--
file project.dtd 133935 -rw-r--r--