author | Roman Kagan <rkagan@virtuozzo.com> | |
Fri, 13 Apr 2018 14:33:54 +0000 (17:33 +0300) | ||
committer | Paolo Bonzini <pbonzini@redhat.com> | |
Tue, 8 May 2018 22:13:38 +0000 (00:13 +0200) | ||
commit | 7afcfd32a65688401cba337eb99f65dc24d9750e | |
tree | f00afa6974c4ca0c0f24ad2f0946da98b767b420 | tree | snapshot |
parent | d820fa5b62d2ae2311702bf307f1b91dc338fd25 | commit | diff |
scripts/update-linux-headers.sh | diff | blob | history |