directory / @ 3430:4ba31dd1f0f5 default tip @

name size permissions
dir. doc/ drwxr-xr-x
dir. docker/ 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. tests/ drwxr-xr-x
dir. twisted/ plugins drwxr-xr-x
file .hgignore 170 -rw-r--r--
file .hgtags 1199 -rw-r--r--
file CHANGELOG 40491 -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 422 -rw-r--r--
file README 10998 -rw-r--r--
file README4PACKAGERS 4538 -rw-r--r--
file README4TRANSLATORS 1816 -rw-r--r--
file setup.py 4041 -rw-r--r--