tree d9b4ee48319857f700b740edea0686dcec7c1578
parent 806e20f463c9b98b945f0095e07642362720256a
author Brian Paul <brian.paul@tungstengraphics.com> 983231892 +0000
committer Brian Paul <brian.paul@tungstengraphics.com> 983231892 +0000

Disable most extensions by default.  Drivers should enable them as needed.
Renamed gl_*() functions as _mesa_*().