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