From d0b2f91bede3bd5e3d24dd6803e56eee959c1797 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Fabian=20Silva=20Delgado?=
 <emulatorman@parabola.nu>
Date: Thu, 20 Oct 2016 00:10:27 -0300
Subject: Linux-libre 4.8.2-gnu

---
 .cocciconfig | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 .cocciconfig

(limited to '.cocciconfig')

diff --git a/.cocciconfig b/.cocciconfig
new file mode 100644
index 000000000..43967c6b2
--- /dev/null
+++ b/.cocciconfig
@@ -0,0 +1,3 @@
+[spatch]
+	options = --timeout 200
+	options = --use-gitgrep
-- 
cgit v1.2.3