Revision d8a5b80568a9cb66810e75b182018e9edb68e8ff authored by Linus Torvalds on 28 January 2018, 21:20:33 UTC, committed by Linus Torvalds on 28 January 2018, 21:20:33 UTC
1 parent 24b1ccc
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top