| commit | 6321e3fb9fd9cc9d817071d435c6b8a59869b8bc | [log] [tgz] |
|---|---|---|
| author | Eric Engestrom <eric@engestrom.ch> | Sun Feb 02 15:11:16 2020 +0000 |
| committer | Marge Bot <eric+marge@anholt.net> | Wed Feb 05 00:46:46 2020 +0000 |
| tree | 7f1f428cb474ad8b52d26556eccb542917bc9b0d | |
| 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 <eric@engestrom.ch> Reviewed-by: Kristian H. Kristensen <hoegsberg@google.com> Reviewed-by: Eric Anholt <eric@anholt.net> Tested-by: Marge Bot <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3669> Part-of: <https://gitlab.freedesktop.org/mesa/mesa/merge_requests/3669>