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 266190ac03 Allow SM to clone and push		2013-09-30 10:27:44 +02:00
..
gl-pre-git	Allow SM to clone and push	2013-09-30 10:27:44 +02:00
subjects.pl	Change allow defense filename	2013-09-25 19:41:24 +02:00
submissions.pl	Check IP in gl-pre-git hook	2013-09-28 11:16:14 +02:00