Revision 206c4720092d2a24bfefc041b377e889a220ffbf authored by Mark Brown on 03 February 2017, 11:39:46 UTC, committed by Mark Brown on 03 February 2017, 11:39:46 UTC
3 parent s d0e287a + 1372cef + b98acbf
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top