diff options
| author | Brian Paul <brian.paul@tungstengraphics.com> | 2006-02-28 21:45:09 +0000 |
|---|---|---|
| committer | Brian Paul <brian.paul@tungstengraphics.com> | 2006-02-28 21:45:09 +0000 |
| commit | 147f5091a11d1855398f1ef81a5c692489ef9b8f (patch) | |
| tree | 9b449c51e2e7f4b68f7221b39e76619eed5a5cd9 /configs/linux-dri-ppc | |
| parent | 176dac684a65d9140d3f1ce4d3bd4220ff5b653f (diff) | |
Allow error checking to look for presence of either of two extensions.
See bug 6070.
Diffstat (limited to 'configs/linux-dri-ppc')
0 files changed, 0 insertions, 0 deletions