directory / @ 3535:67aebefb44fc 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 42497 -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 1133 -rw-r--r--
file setup.py 4493 -rw-r--r--