diff options
| author | Michael Grote | 2023-06-08 14:06:56 +0200 |
|---|---|---|
| committer | Michael Grote | 2023-06-08 14:06:56 +0200 |
| commit | 8e5810c8b5ce055277addbd79975d745637be44c (patch) | |
| tree | 96e1c1e2b2fde9c10ef18576d388046c5717ec9b /.gitignore | |
| parent | 03e9954691fa69a8f01d403fa9c30de9a3df05fc (diff) | |
ci: skip hadolint
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions