From 46d0913f45f1f94d77980b04d43b53a7c7a5ab6b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dagfinn=20Ilmari=20Manns=C3=A5ker?= <ilmari@ilmari.org>
Date: Tue, 9 Aug 2016 16:58:28 +0100
Subject: Add .proverc

I keep forgetting -r and getting NOTESTS
---
 .proverc | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 .proverc

(limited to '.proverc')

diff --git a/.proverc b/.proverc
new file mode 100644
index 0000000..ad83f73
--- /dev/null
+++ b/.proverc
@@ -0,0 +1,2 @@
+--lib
+--recurse
-- 
cgit v1.2.3