diff options
author | Timothy Arceri <[email protected]> | 2017-03-05 12:32:02 +1100 |
---|---|---|
committer | Timothy Arceri <[email protected]> | 2017-03-07 08:48:16 +1100 |
commit | acdcaf9be4695ccdc4a589a3416591dd316e876c (patch) | |
tree | 7c7e1e3f0c1e7509141ed3c54571ebf847321f53 /src/gallium/drivers/ddebug | |
parent | 2efddc63ee864ab917e444b68a7c2dcf520d451e (diff) |
gallium/util: remove pipe_static_mutex()
This was made unnecessary with fd33a6bcd7f12.
Reviewed-by: Marek Olšák <[email protected]>
Diffstat (limited to 'src/gallium/drivers/ddebug')
0 files changed, 0 insertions, 0 deletions