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

Nicolas Grekas aae4f6d9e7 Minor fixes found while ugrading the CI		2017-01-03 16:43:07 +01:00
..
ISSUE_TEMPLATE.md	Define a GitHub issue template to avoid support questions	2016-12-13 11:28:04 +01:00
PULL_REQUEST_TEMPLATE.md	[github] Tweak PR template	2016-11-21 10:13:36 +01:00
build-packages.php	Minor fixes found while ugrading the CI	2017-01-03 16:43:07 +01:00