directory / @ 3710:e3dddf65fa88

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 209 -rw-r--r--
file .hgtags 1249 -rw-r--r--
file CHANGELOG 42501 -rw-r--r--
file CONTRAT_SOCIAL 3861 -rw-r--r--
file CONTRAT_SOCIAL_en 3549 -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 requirements.txt 1066 -rw-r--r--
file setup.py 4858 -rw-r--r--