diff options
author | Gustavo Zacarias <gustavo@zacarias.com.ar> | 2016-03-11 11:32:22 -0300 |
---|---|---|
committer | Peter Korsgaard <peter@korsgaard.com> | 2016-03-15 22:46:20 +0100 |
commit | b8de1788c10b61573834f2516e1441eb850a9501 (patch) | |
tree | 4edee7bf80a58d9aae35ce4a2455c12954251c87 /linux/linux-ext-rtai.mk | |
parent | ffc324ea0fff1f6b3b69e220a67eccfc4caf51a7 (diff) |
linux-headers: remove deprecated version 3.17.x
Remove for the upcoming 2016.05 release, it's been deprecated for a year
now.
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'linux/linux-ext-rtai.mk')
0 files changed, 0 insertions, 0 deletions