Use OpenMP for scanner
authorKevin M. Rosenberg <kevin@rosenberg.net>
Wed, 21 Mar 2018 04:31:14 +0000 (22:31 -0600)
committerKevin M. Rosenberg <kevin@rosenberg.net>
Wed, 21 Mar 2018 04:31:14 +0000 (22:31 -0600)

No differences found