]> git.karo-electronics.de Git - karo-tx-linux.git/blob - .cocciconfig
RDMA/bnxt_re: Free doorbell page index (DPI) during dealloc ucontext
[karo-tx-linux.git] / .cocciconfig
1 [spatch]
2         options = --timeout 200
3         options = --use-gitgrep