summaryrefslogtreecommitdiff
path: root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/include/linux/.gitignore
blob: 57d296341304276defdfb968bdd085f3a92bc940 (plain)
1
2
# SPDX-License-Identifier: GPL-2.0-only
srcu.h