diff options
| author | Timothy Arceri <[email protected]> | 2018-08-15 14:26:12 +1000 |
|---|---|---|
| committer | Timothy Arceri <[email protected]> | 2018-08-20 13:53:58 +1000 |
| commit | 24da2d162d4500a19381845fd5a66967b7b3cb47 (patch) | |
| tree | 3e1e866a78a649020204d48f3ecc2442d87b97ae /src/util/os_time.h | |
| parent | 498831c7e6ac0d753316d0190214f71276d51e1a (diff) | |
mesa: remove unused dri config option excess_mipmap
This seems to have only been used by DRI1 drivers which were
removed with e4344161bde2.
Reviewed-by: Ian Romanick <[email protected]>
Diffstat (limited to 'src/util/os_time.h')
0 files changed, 0 insertions, 0 deletions