glapi: add ARB_timer_query
authorMarek Olšák <maraeo@gmail.com>
Mon, 25 Jun 2012 23:36:44 +0000 (01:36 +0200)
committerMarek Olšák <maraeo@gmail.com>
Tue, 10 Jul 2012 17:04:12 +0000 (19:04 +0200)
commit4952caad2dbf8668d86c3043b5761c61382bbb4c
tree0ef9ab7195f1b624fb094f7bcda3d57801e2610d
parent25fec2e9ca85c297d70b400d9aadb891fe341755
glapi: add ARB_timer_query

Reviewed-by: Brian Paul <brianp@vmware.com>
src/mapi/glapi/gen/gl_API.xml