NAME	SIZE	PERMISSION	MODIFY
tests	--	drwxr-xr-x	Select Delete Chmod Rename
README	5.771 KB	-rw-r--r--	Select Delete Chmod Rename Edit
array.cocci	2.197 KB	-rw-r--r--	Select Delete Chmod Rename Edit
commit.cocci	1 KB	-rw-r--r--	Select Delete Chmod Rename Edit
config_fn_ctx.pending.cocci	2.026 KB	-rw-r--r--	Select Delete Chmod Rename Edit
equals-null.cocci	0.213 KB	-rw-r--r--	Select Delete Chmod Rename Edit
flex_alloc.cocci	0.26 KB	-rw-r--r--	Select Delete Chmod Rename Edit
free.cocci	0.354 KB	-rw-r--r--	Select Delete Chmod Rename Edit
git_config_number.cocci	0.221 KB	-rw-r--r--	Select Delete Chmod Rename Edit
hashmap.cocci	0.248 KB	-rw-r--r--	Select Delete Chmod Rename Edit
index-compatibility.cocci	1.789 KB	-rw-r--r--	Select Delete Chmod Rename Edit
object_id.cocci	1.096 KB	-rw-r--r--	Select Delete Chmod Rename Edit
preincr.cocci	0.035 KB	-rw-r--r--	Select Delete Chmod Rename Edit
qsort.cocci	0.596 KB	-rw-r--r--	Select Delete Chmod Rename Edit
spatchcache	7.292 KB	-rw-r--r--	Select Delete Chmod Rename Edit
strbuf.cocci	0.823 KB	-rw-r--r--	Select Delete Chmod Rename Edit
swap.cocci	0.251 KB	-rw-r--r--	Select Delete Chmod Rename Edit
the_repository.cocci	1.782 KB	-rw-r--r--	Select Delete Chmod Rename Edit
xcalloc.cocci	0.094 KB	-rw-r--r--	Select Delete Chmod Rename Edit
xopen.cocci	0.288 KB	-rw-r--r--	Select Delete Chmod Rename Edit
xstrdup_or_null.cocci	0.068 KB	-rw-r--r--	Select Delete Chmod Rename Edit