aboutsummaryrefslogtreecommitdiff
path: root/.proverc
diff options
context:
space:
mode:
authorDagfinn Ilmari Mannsåker <ilmari@ilmari.org>2016-08-09 16:58:28 +0100
committerDagfinn Ilmari Mannsåker <ilmari@ilmari.org>2016-08-09 16:59:28 +0100
commit46d0913f45f1f94d77980b04d43b53a7c7a5ab6b (patch)
tree956a53c2fb02a6f56a89770533e94c211391605a /.proverc
parentUse postderef for hash k/v slice (diff)
downloadSietima-46d0913f45f1f94d77980b04d43b53a7c7a5ab6b.tar.gz
Sietima-46d0913f45f1f94d77980b04d43b53a7c7a5ab6b.tar.bz2
Sietima-46d0913f45f1f94d77980b04d43b53a7c7a5ab6b.zip
Add .proverc
I keep forgetting -r and getting NOTESTS
Diffstat (limited to '.proverc')
-rw-r--r--.proverc2
1 files changed, 2 insertions, 0 deletions
diff --git a/.proverc b/.proverc
new file mode 100644
index 0000000..ad83f73
--- /dev/null
+++ b/.proverc
@@ -0,0 +1,2 @@
+--lib
+--recurse