https://github.com/torvalds/linux
Revision d6d5df1db6e9d7f8f76d2911707f7d5877251b02 authored by Linus Torvalds on 27 October 2019, 17:19:19 UTC, committed by Linus Torvalds on 27 October 2019, 17:19:19 UTC
1 parent 153a971
Raw File
Tip revision: d6d5df1db6e9d7f8f76d2911707f7d5877251b02 authored by Linus Torvalds on 27 October 2019, 17:19:19 UTC
Linux 5.4-rc5
Tip revision: d6d5df1
.cocciconfig
[spatch]
	options = --timeout 200
	options = --use-gitgrep
back to top