Andrei Gherzan 88f8ddceef rpi-default-providers.inc: Remove preferred provider to linux headers
We do this because the recipe was removed. Check:
commit 808f5e54f8c9799de39436601b9b8474de3bb323

Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
2013-06-23 23:15:46 +03:00
..