]> Git Repo - linux.git/blob - .cocciconfig
mm: don't miss the last page because of round-off error
[linux.git] / .cocciconfig
1 [spatch]
2         options = --timeout 200
3         options = --use-gitgrep
This page took 0.031358 seconds and 4 git commands to generate.