aboutsummaryrefslogtreecommitdiff
path: root/.devops/tools.sh
diff options
context:
space:
mode:
authorJohannes Gäßler <johannesg@5d6.de>2023-07-05 08:58:05 +0200
committerGitHub <noreply@github.com>2023-07-05 08:58:05 +0200
commit9e4475f5cf639315f61ed7b8da6258bb0c7c5ca9 (patch)
tree03adc43d25c32762a8276d0593568c97b280f86d /.devops/tools.sh
parent7f0e9a775ecc4c6ade271c217f63d6dc93e79eaa (diff)
Fixed OpenCL offloading prints (#2082)
Diffstat (limited to '.devops/tools.sh')
0 files changed, 0 insertions, 0 deletions