Revision f74c2bb98776e2de508f4d607cd519873065118e authored by Linus Torvalds on 08 September 2019, 20:33:15 UTC, committed by Linus Torvalds on 08 September 2019, 20:33:15 UTC
1 parent 983f700
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top