Re: [Mesa-dev] [PATCH 05/13] mesa: Remove unused extra_EXT_texture_integer.

Reviewed-by: Marek Olšák Marek On Sun, Jun 15, 2014 at 7:17 PM, Matt Turner wrote: > Unused since commit b6475f94. > --- > src/mesa/main/get.c | 5 - > 1 file changed, 5 deletions(-) > > diff --git a/src/mesa/main/get.c b/src/mesa/main/get.c > index 9b56edb..74ef1c9 100644 > --- a/src/mesa

[Mesa-dev] [PATCH 05/13] mesa: Remove unused extra_EXT_texture_integer.

Unused since commit b6475f94. --- src/mesa/main/get.c | 5 - 1 file changed, 5 deletions(-) diff --git a/src/mesa/main/get.c b/src/mesa/main/get.c index 9b56edb..74ef1c9 100644 --- a/src/mesa/main/get.c +++ b/src/mesa/main/get.c @@ -278,11 +278,6 @@ static const int extra_flush_current[] = {