diff options
author | 2017-10-26 20:46:39 -0400 | |
---|---|---|
committer | 2017-10-26 20:46:43 -0400 | |
commit | dd42af4b49a7b56598f2b0fd2e79a3f591a6fb36 (patch) | |
tree | 935c85faf173d0cf221873131c70a3f37fa97325 | |
parent | world.conf: drop to -static-libs for media-libs/openjpeg:2, bug #634144 (diff) | |
download | grs-dd42af4b49a7b56598f2b0fd2e79a3f591a6fb36.tar.gz grs-dd42af4b49a7b56598f2b0fd2e79a3f591a6fb36.tar.bz2 grs-dd42af4b49a7b56598f2b0fd2e79a3f591a6fb36.zip |
kernel-config: correct the source version
-rw-r--r-- | scripts/kernel-config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/kernel-config b/scripts/kernel-config index 5b46a42..ba7d2cd 100644 --- a/scripts/kernel-config +++ b/scripts/kernel-config @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86 4.13.8 Kernel Configuration +# Linux/x86 4.13.8-vanilla Kernel Configuration # CONFIG_64BIT=y CONFIG_X86_64=y |