diff options
author | Dave Airlie <airlied@redhat.com> | 2017-02-24 12:11:21 +1000 |
---|---|---|
committer | Dave Airlie <airlied@redhat.com> | 2017-02-24 12:11:21 +1000 |
commit | 64a577196d66b44e37384bc5c4d78c61f59d5b2a (patch) | |
tree | 8aaf83a8445c318d1fc4345c54d0e33886d49351 /arch/blackfin | |
parent | 7fef80a4b9c8ed5a48d44ea4a74b68afe13d73ae (diff) |
lib/Kconfig: make PRIME_NUMBERS not user selectable.drm-for-v4.11-less-shouty
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 'arch/blackfin')
0 files changed, 0 insertions, 0 deletions