diff options
author | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-10-19 21:21:36 +0200 |
---|---|---|
committer | Jan Holthuis <jan.holthuis@ruhr-uni-bochum.de> | 2020-10-19 21:49:06 +0200 |
commit | c7f6ee8c80fe66d27fca07d52eeb5145f0f00c82 (patch) | |
tree | 3c4d53a0cb7a479f9a3739f1803df0df9792e7c8 /build/qt5.py | |
parent | 67bb2c6a093ae7201e67061a390b949877abc3fc (diff) |
GitHub Actions: Fix pre-commit-pr job and disable useless hook
Diffstat (limited to 'build/qt5.py')
0 files changed, 0 insertions, 0 deletions