Merge pull request #388 from unix-ninja/master
authorJens Steube <jens.steube@gmail.com>
Sat, 25 Jun 2016 07:48:57 +0000 (09:48 +0200)
committerGitHub <noreply@github.com>
Sat, 25 Jun 2016 07:48:57 +0000 (09:48 +0200)
Add -D short flag for --opencl-device-types


Trivial merge