tree fd780c0f2ec0319f4eaef53a43ab845f997e8fc5
parent 0d22539de0ce469cc3d4c76ca8ca36618b6c9732
parent f95b6787292fc81bfd0ff49ad91b5450cb929314
author Gilles Peskine <gilles.peskine@arm.com> 1699466713 +0000
committer GitHub <noreply@github.com> 1699466713 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJlS83ZCRBK7hj4Ov3rIwAAx04IAAb0H9onvrxBMuw2AoL4ppno
 tz3dsLT2vk+doXbIOJNhnmNpZoxMa3nIggALQd2DjFnldrtxan0sl1oNzF7CRml6
 oJrg6zkTEUrnZEsKJRkQLoN2MR1rk7S+4lZur7puVp7VDUf+j3NhLNMbAQkUMMGS
 l6RoJlWlIH0E81/JBHe5O817wBWHL6VnEHRugF625hj+t/uPp3ENk6Zesv2udV3f
 vndabKSIP/fm2KOE+gQfymTgJ4TYBLpxX32KpN+s8olYgIYyIKZ0W4w3QtlkGiea
 0MsIIV51dhe9K14ul4+MotX9U2Rm9iSqNJq+cjfXoN0300tAmKDjVN4YU3C7ucc=
 =q6Aj
 -----END PGP SIGNATURE-----
 

Merge pull request #8496 from ronald-cron-arm/remove-cocci-files

Remove unused *.cocci files