]> git.ipfire.org Git - thirdparty/kernel/linux.git/blob - .cocciconfig
Merge tag 'drm-intel-fixes-2019-06-03' of git://anongit.freedesktop.org/drm/drm-intel...
[thirdparty/kernel/linux.git] / .cocciconfig
1 [spatch]
2 options = --timeout 200
3 options = --use-gitgrep