diff options
author | Jacopo Mondi <jacopo@jmondi.org> | 2018-11-18 09:39:28 +0200 |
---|---|---|
committer | Laurent Pinchart <laurent.pinchart@ideasonboard.com> | 2018-11-18 09:46:34 +0200 |
commit | acf2a2699581d172ba38d328cba772239c6d0edb (patch) | |
tree | 0588ebbebaf1ed4c8810c177a24485c473cc225e /.gitignore | |
parent | 377b6aa0701752711f7058d5de1081e61cfdc9cb (diff) |
Update kernel headers to v4.19
Signed-off-by: Jacopo Mondi <jacopo@jmondi.org>
Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions