diff options
| author | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-02-06 01:57:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-06 01:57:07 +0100 |
| commit | e858f4081e6b207ec3de64174d65a0977a9981c8 (patch) | |
| tree | aaba33a193cb61fab10a8a4ba5da9bbc61f27b90 /Makefile | |
| parent | a4dddec3bb8ea033d2905ef5ee704ec234351937 (diff) | |
| parent | 71ca2d57c947e2ff8f4e2d201e81380d11e71bbf (diff) | |
Merge pull request #15 from fnune/fix-pr-check-script
Fix the PR check script
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions