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 ad9c91497c Install gl-pre-git at the right place		2013-10-07 16:42:02 +02:00
..
gl-pre-git	Install gl-pre-git at the right place	2013-10-07 16:42:02 +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