diff options
| author | Thomas Zimmermann <tzimmermann@suse.de> | 2022-01-14 12:45:34 +0100 |
|---|---|---|
| committer | Thomas Zimmermann <tzimmermann@suse.de> | 2022-01-17 11:25:44 +0100 |
| commit | 5b529e8d9c387a34ca2b8008dc65f55d539b3ef6 (patch) | |
| tree | 2c678bede4845e688e642a932d494815969d8da9 /drivers/gpu/drm/Makefile | |
| parent | adb9d5a2cc77e8aefe98fe4c11656c5b7025c248 (diff) | |
drm/dp: Move public DisplayPort headers into dp/
Move all public DisplayPort headers into dp/ and update users. No
functional changes.
v3:
* rebased onto latest drm-tip
Signed-off-by: Thomas Zimmermann <tzimmermann@suse.de>
Acked-by: Daniel Vetter <daniel@ffwll.ch>
Link: https://patchwork.freedesktop.org/patch/msgid/20220114114535.29157-5-tzimmermann@suse.de
Diffstat (limited to 'drivers/gpu/drm/Makefile')
0 files changed, 0 insertions, 0 deletions