diff options
author | Gert Wollny <[email protected]> | 2019-05-11 17:44:17 +0200 |
---|---|---|
committer | Gert Wollny <[email protected]> | 2019-06-06 12:25:12 +0200 |
commit | f1f6228a388692dd22121ebfaccd8e935ed21c2f (patch) | |
tree | 8c7b814cd8b7e0724449b2293f7391ecca3bc41f /src/freedreno | |
parent | 8657257a6e0f15f5411193de964ba6e512df0f8b (diff) |
mapi/glapi/registry: Update gl.xml to latest upstream version
The old copy didn't include EXT_clip_control, so update it.
Signed-off-by: Gert Wollny <[email protected]>
Reviewed-by: Tapani Pälli <[email protected]>
Acked-by: Marek Olšák <[email protected]>
Reviewed-by: Emil Velikov <[email protected]>
Diffstat (limited to 'src/freedreno')
0 files changed, 0 insertions, 0 deletions