Revision 5771a8c08880cdca3bfb4a3fc6d309d6bba20877 authored by Linus Torvalds on 15 July 2017, 22:22:10 UTC, committed by Linus Torvalds on 15 July 2017, 22:22:10 UTC
1 parent 486088b
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top