]> git.karo-electronics.de Git - karo-tx-linux.git/blob - .cocciconfig
Merge tag 'drm-fixes-for-v4.12-rc3' of git://people.freedesktop.org/~airlied/linux
[karo-tx-linux.git] / .cocciconfig
1 [spatch]
2         options = --timeout 200
3         options = --use-gitgrep