diff options
| author |   Anthony G. Basile <blueness@gentoo.org> | 2017-10-26 20:46:39 -0400 |
|---|---|---|
| committer | Anthony G. Basile <blueness@gentoo.org> | 2017-10-30 18:53:43 -0400 |
| commit | 00b172b39e96ed34e7810e53f17a719791ed5607 (patch) | |
| tree | 74c152cf2fcc3f568364e435c530858dfced1ad3 | |
| parent | world.conf: drop to -static-libs for media-libs/openjpeg:2, bug #634144 (diff) | |
| download | grs-00b172b3.tar.gz grs-00b172b3.tar.bz2 grs-00b172b3.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 |