diff options
| author | Peter Robinson <pbrobinson@gmail.com> | 2017-05-10 18:20:47 +0100 |
|---|---|---|
| committer | Peter Robinson <pbrobinson@gmail.com> | 2017-05-10 18:20:47 +0100 |
| commit | ed622fefe80435df0a0a56f2371cd1b024b7ac82 (patch) | |
| tree | 72abfd2228cd63207f29b4cb743e38f19ae06376 /baseconfig/arm/armv7/CONFIG_DRM_DW_HDMI | |
| parent | 48953e19ba24578846ec4aebbbbc0b89ff539b4c (diff) | |
| download | kernel-ed622fefe80435df0a0a56f2371cd1b024b7ac82.tar.gz kernel-ed622fefe80435df0a0a56f2371cd1b024b7ac82.tar.xz kernel-ed622fefe80435df0a0a56f2371cd1b024b7ac82.zip | |
minor merge window cleanups
Diffstat (limited to 'baseconfig/arm/armv7/CONFIG_DRM_DW_HDMI')
| -rw-r--r-- | baseconfig/arm/armv7/CONFIG_DRM_DW_HDMI | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/baseconfig/arm/armv7/CONFIG_DRM_DW_HDMI b/baseconfig/arm/armv7/CONFIG_DRM_DW_HDMI deleted file mode 100644 index 0be71f10f..000000000 --- a/baseconfig/arm/armv7/CONFIG_DRM_DW_HDMI +++ /dev/null @@ -1 +0,0 @@ -CONFIG_DRM_DW_HDMI=m |