Remove OpenMP dependency (and unused variable)
authorBenjamin Auder <benjamin.auder@somewhere>
Wed, 13 Sep 2023 14:38:55 +0000 (16:38 +0200)
committerBenjamin Auder <benjamin.auder@somewhere>
Wed, 13 Sep 2023 14:38:55 +0000 (16:38 +0200)

No differences found