diff options
Diffstat (limited to 'make/config/jogl/gl-common-extensions.cfg')
| -rw-r--r-- | make/config/jogl/gl-common-extensions.cfg | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/make/config/jogl/gl-common-extensions.cfg b/make/config/jogl/gl-common-extensions.cfg index 51edd9edd..6631e035d 100644 --- a/make/config/jogl/gl-common-extensions.cfg +++ b/make/config/jogl/gl-common-extensions.cfg @@ -70,7 +70,6 @@ RenameExtensionIntoCore GL_OES_stencil4 RenameExtensionIntoCore GL_OES_stencil8 RenameExtensionIntoCore GL_OES_stencil_wrap RenameExtensionIntoCore GL_OES_texture_cube_map -RenameExtensionIntoCore GL_OES_texture_half_float RenameExtensionIntoCore GL_OES_texture_mirrored_repeat RenameExtensionIntoCore GL_OES_vertex_type_10_10_10_2 RenameExtensionIntoCore GL_EXT_color_buffer_half_float |