This repository has been archived on 2021-10-08. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Mercier Pierre-Olivier 188931f0d4 Can gen_groups in different years		2013-09-18 07:54:34 +02:00
..
create.pl	Fix project creation	2013-09-09 14:02:59 +02:00
gen_groups.pl	Can gen_groups in different years	2013-09-18 07:54:34 +02:00
grades.pl	Various old fixes	2013-09-12 12:58:10 +02:00
pub_traces.pl	Add command to publish traces	2013-09-14 09:35:56 +02:00