Merge tag 'drm-vc4-fixes-2016-09-14' of https://github.com/anholt/linux into drm...
[deliverable/linux.git] / .cocciconfig
1 [spatch]
2 options = --timeout 200
3 options = --use-gitgrep
This page took 0.0325 seconds and 5 git commands to generate.