diff options
author | Gustavo Zacarias <gustavo@zacarias.com.ar> | 2015-04-13 10:00:25 -0300 |
---|---|---|
committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2015-04-13 22:14:58 +0200 |
commit | 279e20cae08d55ce7e2ae701fb2ad1778cf0e876 (patch) | |
tree | 791fc0f8522c14c7e1d2a39f9af39a7fd6c22bfd /linux/linux-ext-xenomai.mk | |
parent | 53e36065c7fb4f1725cb8013ccd0aeae8db22f8a (diff) |
linux: bump default to version 4.0
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'linux/linux-ext-xenomai.mk')
0 files changed, 0 insertions, 0 deletions