diff options
| author | Luca Deri <lucaderi@users.noreply.github.com> | 2023-02-01 18:31:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-01 18:31:59 +0100 |
| commit | 563a24bf6b520798324b2c9356d6bde7dd269ea3 (patch) | |
| tree | b41162723eeabe1d4405bd8b655a6b6480df877e /.ci-ignore | |
| parent | c711f480e373b15aa7fe738e7f87f327e76f326f (diff) | |
Minor update
Diffstat (limited to '.ci-ignore')
0 files changed, 0 insertions, 0 deletions