diff options
author | Gustavo Zacarias <gustavo@zacarias.com.ar> | 2012-04-29 02:34:00 +0000 |
---|---|---|
committer | Peter Korsgaard <jacmet@sunsite.dk> | 2012-04-29 19:13:23 +0200 |
commit | 2e7ffd6c849f0aab66fc886a84576aaa31b5a9bc (patch) | |
tree | d41d77090aed53c6d6aa15d62695880ef6342d9f /linux/linux-ext-xenomai.mk | |
parent | 308e476a73771daee0dfb38ae1c918341a0d8955 (diff) |
kernel-headers: bump 3.{0, 3}.x stable versions
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'linux/linux-ext-xenomai.mk')
0 files changed, 0 insertions, 0 deletions