Jens Steube 730044e26e Added option --opencl-device-types to filter for specific OpenCL device types

2016-01-12 00:44:28 +01:00

..

tab_completion

Added option --opencl-device-types to filter for specific OpenCL device types

2016-01-12 00:44:28 +01:00