diff options
| author | Ralf Jung | 2020-10-21 15:15:51 +0200 |
|---|---|---|
| committer | Ralf Jung | 2020-11-20 15:11:44 +0100 |
| commit | 6188353cfcf7f34ac591cff804764363c7987814 (patch) | |
| tree | 6df484e442531a0f6afc601d4d66e69efbefc0ea /dev/tools/github-check-prs.py | |
| parent | a118b906b3da7cb2e03a72f7a8079a7fc99c6f84 (diff) | |
add perennial to benchmark suite
Diffstat (limited to 'dev/tools/github-check-prs.py')
0 files changed, 0 insertions, 0 deletions