1 files changed, 2 insertions, 0 deletions

diff --git a/.proverc b/.proverc
new file mode 100644
index 0000000..8cc148d
--- /dev/null
+++ b/.proverc
@@ -0,0 +1,2 @@
+-r
+t