diff options
| author | Dave Airlie <airlied@redhat.com> | 2017-02-24 05:11:21 +0300 |
|---|---|---|
| committer | Dave Airlie <airlied@redhat.com> | 2017-02-24 05:11:21 +0300 |
| commit | 64a577196d66b44e37384bc5c4d78c61f59d5b2a (patch) | |
| tree | 8aaf83a8445c318d1fc4345c54d0e33886d49351 /drivers/gpu/drm | |
| parent | 7fef80a4b9c8ed5a48d44ea4a74b68afe13d73ae (diff) | |
| download | linux-64a577196d66b44e37384bc5c4d78c61f59d5b2a.tar.xz | |
lib/Kconfig: make PRIME_NUMBERS not user selectable.
Linus doesn't like it user selectable, so kill it until
someone needs it for something else.
Signed-off-by: Dave Airlie <airlied@redhat.com>
Diffstat (limited to 'drivers/gpu/drm')
0 files changed, 0 insertions, 0 deletions