diff options
author | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-08-05 08:38:01 +0200 |
---|---|---|
committer | Thorsten Leemhuis <fedora@leemhuis.info> | 2020-08-05 08:38:01 +0200 |
commit | d8b1d4104de663bacffe18cf79ebf37fed8aac78 (patch) | |
tree | 2aceb7beb9cb45d90854d2d8e36ce108864fca46 /configs/fedora/debug/CONFIG_PROVE_RCU | |
parent | 1b44a8c9fe0e71a8d14c49e78d9857f49d518a09 (diff) | |
parent | 9ab9ea2db0b13375d3d7114d5c82eb298a118740 (diff) | |
download | kernel-d8b1d4104de663bacffe18cf79ebf37fed8aac78.tar.gz kernel-d8b1d4104de663bacffe18cf79ebf37fed8aac78.tar.xz kernel-d8b1d4104de663bacffe18cf79ebf37fed8aac78.zip |
merge origin
Diffstat (limited to 'configs/fedora/debug/CONFIG_PROVE_RCU')
-rw-r--r-- | configs/fedora/debug/CONFIG_PROVE_RCU | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configs/fedora/debug/CONFIG_PROVE_RCU b/configs/fedora/debug/CONFIG_PROVE_RCU deleted file mode 100644 index d7a71a2e7..000000000 --- a/configs/fedora/debug/CONFIG_PROVE_RCU +++ /dev/null @@ -1 +0,0 @@ -CONFIG_PROVE_RCU=y |