ferme #17, retirer la gestion de discipline
-rw-r--r-- 329 .gitignore
-rw-r--r-- 0 README.txt
drwxr-xr-x - auf_savoirs_en_partage
-rw-r--r-- 2380 bootstrap.py
-rw-r--r-- 1015 buildout.cfg
-rw-r--r-- 75 devel.cfg