Sign in
gem5
/
arm
/
linux
/
2118df93b5e1742931da358c2b8804c46fd64490
/
.
/
.cocciconfig
blob: 43967c6b20151ee126db08e24758e3c789bcb844 [
file
] [
log
] [
blame
]
Luis R. Rodriguez
dd951fc
2016-06-29 15:14:56 -0700
[
diff
] [
blame
]
1
[
spatch
]
2
options
=
--
timeout
200
3
options
=
--
use
-
gitgrep