diff options
| author | Jeremy Cline <jcline@redhat.com> | 2018-10-23 14:36:56 -0400 |
|---|---|---|
| committer | Jeremy Cline <jcline@redhat.com> | 2018-10-23 14:36:56 -0400 |
| commit | 764628643cfcb53d59edf15adf7f32508a220c0e (patch) | |
| tree | 74ca9229375ba1562da2fee8ceb0f658f11f9bb8 /configs/fedora/generic/CONFIG_DRM_MGA | |
| parent | 6fcbd945bc574b93b64a087473420454f2dda0e5 (diff) | |
| download | kernel-764628643cfcb53d59edf15adf7f32508a220c0e.tar.gz kernel-764628643cfcb53d59edf15adf7f32508a220c0e.tar.xz kernel-764628643cfcb53d59edf15adf7f32508a220c0e.zip | |
Sync up stabilization with f29
Diffstat (limited to 'configs/fedora/generic/CONFIG_DRM_MGA')
| -rw-r--r-- | configs/fedora/generic/CONFIG_DRM_MGA | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configs/fedora/generic/CONFIG_DRM_MGA b/configs/fedora/generic/CONFIG_DRM_MGA deleted file mode 100644 index d1cf1836c..000000000 --- a/configs/fedora/generic/CONFIG_DRM_MGA +++ /dev/null @@ -1 +0,0 @@ -# CONFIG_DRM_MGA is not set |