removed the unused/broken GL_PGI_misc_hints extension
authorBrian Paul <brian.paul@tungstengraphics.com>
Wed, 24 Jan 2001 04:56:19 +0000 (04:56 +0000)
committerBrian Paul <brian.paul@tungstengraphics.com>
Wed, 24 Jan 2001 04:56:19 +0000 (04:56 +0000)
commitab36c9aa1c4af92dd9f4ec48028f1eb2e98d1ccc
treed0ba400f68a046412770624342c50b6cbdbc8009
parent9533fd18420b8ce5f229b43cf16408e64a10adaf
removed the unused/broken GL_PGI_misc_hints extension
src/mesa/drivers/glide/fxdd.c
src/mesa/main/context.c
src/mesa/main/dlist.c
src/mesa/main/extensions.c
src/mesa/main/get.c
src/mesa/main/hint.c
src/mesa/main/hint.h
src/mesa/main/mtypes.h
src/mesa/main/state.c