directory / @ 3011:93da7c6f8e0c

name size permissions
[up] drwxr-xr-x
dir. bin/ drwxr-xr-x
dir. doc/ drwxr-xr-x
dir. i18n/ drwxr-xr-x
dir. misc/ drwxr-xr-x
dir. sat/ drwxr-xr-x
dir. sat_frontends/ drwxr-xr-x
dir. twisted/ plugins drwxr-xr-x
file .hgignore 170 -rw-r--r--
file .hgtags 1152 -rw-r--r--
file CHANGELOG 35125 -rw-r--r--
file CONTRAT_SOCIAL 3741 -rw-r--r--
file CONTRAT_SOCIAL_en 3448 -rw-r--r--
file COPYING 34520 -rw-r--r--
file INSTALL 270 -rw-r--r--
file MANIFEST.in 368 -rw-r--r--
file README 10998 -rw-r--r--
file README4PACKAGERS 4538 -rw-r--r--
file README4TRANSLATORS 1816 -rw-r--r--
file setup.py 3756 -rw-r--r--