Be much more strict about extension support

[libs/gl.git] / extensions / arb_depth_texture.glext

diff --git a/extensions/arb_depth_texture.glext b/extensions/arb_depth_texture.glext
index 03a9725aaddee37a029d82d0283a7c636bcdc7fa..8b72d00399d414e0d60c707448d139caff942503 100644 (file)
--- a/extensions/arb_depth_texture.glext
+++ b/extensions/arb_depth_texture.glext
@@ -1 +1,3 @@
 extension ARB_depth_texture
+# Deprecated and not particularly useful
+ignore GL_DEPTH_TEXTURE_MODE_ARB