diff options
| author | Eric Engestrom <[email protected]> | 2020-02-02 15:11:16 +0000 |
|---|---|---|
| committer | Marge Bot <[email protected]> | 2020-02-05 00:46:46 +0000 |
| commit | 6321e3fb9fd9cc9d817071d435c6b8a59869b8bc (patch) | |
| tree | 7f1f428cb474ad8b52d26556eccb542917bc9b0d /src/util | |
| parent | bcb611361b08528b14d3c5827ee2c4b21de1199d (diff) | |
dri: delete gen-symbol-redefs.py
Introduced in ba10d79cca8d93c9f366 but it looks like it was never wired
into anything.
Signed-off-by: Eric Engestrom <[email protected]>
Reviewed-by: Kristian H. Kristensen <[email protected]>
Reviewed-by: Eric Anholt <[email protected]>
Tested-by: Marge Bot <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3669>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3669>
Diffstat (limited to 'src/util')
0 files changed, 0 insertions, 0 deletions