directory / @ 915:8c8ed7c4ab83 default tip

name size permissions
dir. devel/ drwxr-xr-x
dir. inst/ drwxr-xr-x
dir. src/ drwxr-xr-x
file .hgignore 769 -rw-r--r--
file .hgtags 2137 -rw-r--r--
file COPYING 7527 -rw-r--r--
file DESCRIPTION 510 -rw-r--r--
file INDEX 1816 -rw-r--r--
file NEWS 21822 -rw-r--r--