.gitignore « srcu-cbmc « formal « rcutorture « selftests « testing « tools - wireguard-linux - WireGuard for the Linux kernel

about summary refs log tree commit diff stats homepage

path: root/tools/testing/selftests/rcutorture/formal/srcu-cbmc/.gitignore

blob: 24e27957efccd1da00d2cdc89e24bd0f8dfcaae8 (plain) (blame)

1 2	`# SPDX-License-Identifier: GPL-2.0-only srcu.c`