Revision 2c85ebc57b3e1817b6ce1a6b703928e113a90442 authored by Linus Torvalds on 13 December 2020, 22:41:30 UTC, committed by Linus Torvalds on 13 December 2020, 22:41:30 UTC
1 parent ec6f5e0
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top