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 4ae0d9f6e0 Add debug information in gl-pre-git hook		2013-09-30 10:53:21 +02:00
..
gl-pre-git	Add debug information in gl-pre-git hook	2013-09-30 10:53:21 +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