diff options
author | Matt Turner <[email protected]> | 2014-06-14 23:09:59 -0700 |
---|---|---|
committer | Matt Turner <[email protected]> | 2014-06-17 10:18:17 -0700 |
commit | 7f3f9b1a68312d145bc3a4b2d28ddf13527f260e (patch) | |
tree | 1398086da04be098399d22b40770fbdbae416199 /src/mesa/main | |
parent | 9f4e77643328e19ef6a84fe63d0bcc56d897faa1 (diff) |
mesa: Remove unused extra_EXT_texture_integer.
Unused since commit b6475f94.
Reviewed-by: Marek Olšák <[email protected]>
Reviewed-by: Tapani Pälli <[email protected]>
Reviewed-by: Ian Romanick <[email protected]>
Diffstat (limited to 'src/mesa/main')
-rw-r--r-- | src/mesa/main/get.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/mesa/main/get.c b/src/mesa/main/get.c index 183a13bd138..0e2d8f687b3 100644 --- a/src/mesa/main/get.c +++ b/src/mesa/main/get.c @@ -278,11 +278,6 @@ static const int extra_flush_current[] = { EXTRA_END }; -static const int extra_EXT_texture_integer[] = { - EXT(EXT_texture_integer), - EXTRA_END -}; - static const int extra_EXT_texture_integer_and_new_buffers[] = { EXT(EXT_texture_integer), EXTRA_NEW_BUFFERS, |