diff options
author | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-08-16 21:44:41 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@lavabit.com> | 2012-08-16 21:44:41 -0300 |
commit | fc205dd24ed71bd385dcdb66bf2ad693d77e9158 (patch) | |
tree | 17313d49e1af4f223747fcf78361ec2fe8adc35c /kernels/linux-libre-rt/config.x86_64 | |
parent | 5a55e2d3bd08bee93bc01ef0632fd0d358f44c97 (diff) |
linux-libre-rt-3.4.9_rt17-1: updating config files
Diffstat (limited to 'kernels/linux-libre-rt/config.x86_64')
-rw-r--r-- | kernels/linux-libre-rt/config.x86_64 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernels/linux-libre-rt/config.x86_64 b/kernels/linux-libre-rt/config.x86_64 index 6e56bf96e..0990586b0 100644 --- a/kernels/linux-libre-rt/config.x86_64 +++ b/kernels/linux-libre-rt/config.x86_64 @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# Linux/x86_64 3.4.9-gnu Kernel Configuration +# Linux/x86_64 3.4.9 Kernel Configuration # CONFIG_64BIT=y # CONFIG_X86_32 is not set |