diff options
| author | jvoisin | 2022-03-29 22:18:06 +0200 |
|---|---|---|
| committer | jvoisin | 2022-03-29 22:18:06 +0200 |
| commit | 697e9583b9b269075c691ee7a07105e0864b7d6c (patch) | |
| tree | fb6e596cf7cbe1978e5537c3b856ff1e74471a7d /utils/ci | |
| parent | 1b37604d3a5b9af1a776ed73bcc18eacf597394e (diff) | |
Please the linters
Diffstat (limited to 'utils/ci')
0 files changed, 0 insertions, 0 deletions