diff options
| author | Quentin Carbonneaux | 2020-05-06 23:18:12 +0200 |
|---|---|---|
| committer | Quentin Carbonneaux | 2020-05-06 23:41:25 +0200 |
| commit | 8c2bd9df97972d47554a87c36f5397b514d30cde (patch) | |
| tree | 99861166e29467e48ec1c823fea8424ec0b4e299 /dev/tools/github-check-prs.py | |
| parent | 2dd59422a4f2ba1d6e75e710b88129751379aa79 (diff) | |
Add an example to motivate strictly positive occurrences check
Diffstat (limited to 'dev/tools/github-check-prs.py')
0 files changed, 0 insertions, 0 deletions