Stuart Brady ab9276b8c9 Refactor is_extension_available() ...

This change splits up is_extension_available() so that the bulk of it
can be reused for fetching other items of variable-length device
information, such as CL_DEVICE_VERSION.

2019-07-05 11:38:57 +01:00

..

gl

Synchronise with Khronos-private Gitlab branch

2019-03-05 16:23:49 +00:00

harness

Refactor is_extension_available()

2019-07-05 11:38:57 +01:00

miniz

Synchronise with Khronos-private Gitlab branch

2019-03-05 16:23:49 +00:00