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 3347f08011 Differenciate R and W access to repo		2013-10-07 20:19:07 +02:00
..
gl-pre-git	Differenciate R and W access to repo	2013-10-07 20:19:07 +02:00
subjects.pl	Fix long tag name for testsuite	2013-10-05 15:58:46 +02:00
submissions.pl	Check IP in gl-pre-git hook	2013-09-28 11:16:14 +02:00