directory / @ 3071:68d423f4fb55 default tip

name size permissions
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 1199 -rw-r--r--
file CHANGELOG 35523 -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 248 -rw-r--r--
file MANIFEST.in 394 -rw-r--r--
file README 10998 -rw-r--r--
file README4PACKAGERS 4538 -rw-r--r--
file README4TRANSLATORS 1816 -rw-r--r--
file setup.py 3778 -rw-r--r--