diff options
| author | Lionel Landwerlin <[email protected]> | 2018-08-29 13:58:23 +0100 |
|---|---|---|
| committer | Lionel Landwerlin <[email protected]> | 2019-10-23 05:41:14 +0000 |
| commit | 13f802291d73ad35c49f7ec2d9e2fc4981eafc76 (patch) | |
| tree | 5cd357fd9e84e0451ae798a8c038ac987def9ce2 /include/c11/.editorconfig | |
| parent | db7a6847dda52ceac9f8b371a3fad81a94086884 (diff) | |
drm-uapi: Update headers from drm-next
Pull new updates from drm-next as of the following commit:
commit f1b4a9217efd61d0b84c6dc404596c8519ff6f59
Merge: 400e91347e1d f3a36d469621
Author: Dave Airlie <[email protected]>
Date: Tue Oct 22 15:04:00 2019 +1000
Merge tag 'du-next-20191016' of git://linuxtv.org/pinchartl/media into drm-next
Signed-off-by: Lionel Landwerlin <[email protected]>
Diffstat (limited to 'include/c11/.editorconfig')
0 files changed, 0 insertions, 0 deletions