diff options
| author |   jsg <jsg@openbsd.org> | 2019-07-08 03:39:10 +0000 |
|---|---|---|
| committer | jsg <jsg@openbsd.org> | 2019-07-08 03:39:10 +0000 |
| commit | 409caa8c933ea614cd51c1bd62e7dbe62dc8e4ef (patch) | |
| tree | a7e7d9d15b9180c24a4450509de83d3f7e548d51 /sys/dev/pci/drm/linux_hdmi.c | |
| parent | uncomment aggr(4) to make it easier for people to try (diff) | |
| download | wireguard-openbsd-409caa8c933ea614cd51c1bd62e7dbe62dc8e4ef.tar.xz wireguard-openbsd-409caa8c933ea614cd51c1bd62e7dbe62dc8e4ef.zip | |
remove duplicate hdmi.h include
reported by Ralf Schuelke
Diffstat (limited to 'sys/dev/pci/drm/linux_hdmi.c')
| -rw-r--r-- | sys/dev/pci/drm/linux_hdmi.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/sys/dev/pci/drm/linux_hdmi.c b/sys/dev/pci/drm/linux_hdmi.c index cb9c173f611..8a3e8f61b99 100644 --- a/sys/dev/pci/drm/linux_hdmi.c +++ b/sys/dev/pci/drm/linux_hdmi.c @@ -28,7 +28,6 @@ #include <linux/hdmi.h> #include <linux/string.h> #include <linux/device.h> -#include <linux/hdmi.h> #define hdmi_log(fmt, ...) dev_printk(level, dev, fmt, ##__VA_ARGS__) |