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 /tools | |
parent | 7fef80a4b9c8ed5a48d44ea4a74b68afe13d73ae (diff) | |
download | linux-64a577196d66b44e37384bc5c4d78c61f59d5b2a.tar.bz2 |
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 'tools')
0 files changed, 0 insertions, 0 deletions