Doug Rabson 92bab635d3 Fix a memory leak in the device pager which is exposed by the NVIDIA
OpenGL driver.

Submitted by: nvidia (possibly also tegge)
2004-07-30 11:09:18 +00:00
..
2004-05-31 21:46:06 +00:00
2004-06-11 11:16:26 +00:00
2004-06-17 17:16:53 +00:00