Vladimír Čunát 156105c489 PR template: go back to old option name for now ... The old one works on all nix(os) versions, whereas the new one doesn't work e.g. on default 16.03 setting. Discussed on #15112.		2016-06-29 21:44:05 +02:00
..
CONTRIBUTING.md	fixup! Simplify contributing	2016-04-09 20:51:26 +01:00
ISSUE_TEMPLATE.md
PULL_REQUEST_TEMPLATE.md	PR template: go back to old option name for now	2016-06-29 21:44:05 +02:00