From eb5aaca6476cfaa8cadcf921112baacd0c085456 Mon Sep 17 00:00:00 2001
From: sergiotarxz <sergio.iglesias7890@gmail.com>
Date: Sat, 23 May 2020 03:03:09 +0200
Subject: [PATCH] Added .proverc

---
 .proverc | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .proverc

diff --git a/.proverc b/.proverc
new file mode 100644
index 0000000..c96eebc
--- /dev/null
+++ b/.proverc
@@ -0,0 +1,2 @@
+-I lib
+-j4