From 4952caad2dbf8668d86c3043b5761c61382bbb4c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marek=20Ol=C5=A1=C3=A1k?= Date: Tue, 26 Jun 2012 01:36:44 +0200 Subject: [PATCH] glapi: add ARB_timer_query Reviewed-by: Brian Paul --- src/mapi/glapi/gen/gl_API.xml | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) diff --git a/src/mapi/glapi/gen/gl_API.xml b/src/mapi/glapi/gen/gl_API.xml index af74c909b27..c302ab94ab8 100644 --- a/src/mapi/glapi/gen/gl_API.xml +++ b/src/mapi/glapi/gen/gl_API.xml @@ -7981,7 +7981,27 @@ - + + + + + + + + + + + + + + + + + + + + + -- 2.30.2