summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--proverc2
1 files changed, 1 insertions, 1 deletions
diff --git a/proverc b/proverc
index 03e11ca..e8cd60c 100644
--- a/proverc
+++ b/proverc
@@ -1 +1 @@
--rj5 --timer
+-rj5 --timer --state=slow,save