This repository has been archived on 2023-02-21. You can view files and clone it, but cannot push or open issues or pull requests.

Frédéric Péters 919fe94c15 jenkins: pin astroid		2015-01-17 16:55:31 +01:00
..
jenkins.sh	jenkins: pin astroid	2015-01-17 16:55:31 +01:00
local_settings.py.example	jenkins: modify path of junit.xml	2013-08-22 11:36:41 +02:00