diff options
| author | Christian Clason <c.clason@uni-graz.at> | 2022-03-26 10:13:57 +0100 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-03-26 10:20:26 +0100 |
| commit | a838a35b2b5514cc341edfe398dc5036df554ac4 (patch) | |
| tree | cbc0c966fd31982146cb9f91bdf76c93b7e4cdc0 /.github/workflows | |
| parent | 25bd02121b044418d45e77898024b57a93e69805 (diff) | |
chore: placate luacheck
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions