diff options
| author | jvoisin | 2022-05-15 18:23:50 +0200 |
|---|---|---|
| committer | jvoisin | 2022-05-15 18:23:50 +0200 |
| commit | eabdc18da330b7f352e011f7640c94cb1b74b0d3 (patch) | |
| tree | 7a8007244a0e6c24975a16400e8338a345486c82 /.github/workflows | |
| parent | c0e72a25f32e4916ac5eda8cb47888fd0a200b23 (diff) | |
Fix debian's control file
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions