diff options
Diffstat (limited to 'rcutorture/configs/rcu/TREE01.boot')
| -rw-r--r-- | rcutorture/configs/rcu/TREE01.boot | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rcutorture/configs/rcu/TREE01.boot b/rcutorture/configs/rcu/TREE01.boot deleted file mode 100644 index 0fc8a34..0000000 --- a/rcutorture/configs/rcu/TREE01.boot +++ /dev/null @@ -1 +0,0 @@ -rcutorture.torture_type=rcu_bh |