diff options
| author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-19 00:14:11 +0100 |
|---|---|---|
| committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-11-19 19:46:54 +0100 |
| commit | a099452f7c544bf5d8342a707cc8386cc5fe98f0 (patch) | |
| tree | 75740cd3b66577f3c85f2db877c5b1371d33164e /.github/workflows | |
| parent | 4e1bebf0f5e06ecdd99c41771e7b4ee19c0cdcf3 (diff) | |
Fix -Wclazy-old-style-connect issues from *.ui files
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions