Revision 77068dc6e234741b3420739afbbb6c6384c8d58a authored by Alexander Potapenko on 09 January 2018, 14:15:24 UTC, committed by Alexander Potapenko on 28 August 2018, 10:29:12 UTC
1 parent ddbc53b
Raw File
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top