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