From 176827eaa225fac773d3d25f812940b9fc45793d Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Wed, 7 Nov 2012 15:03:45 -0600 Subject: move prove configuration to proverc --- proverc | 1 + 1 file changed, 1 insertion(+) create mode 100644 proverc (limited to 'proverc') diff --git a/proverc b/proverc new file mode 100644 index 0000000..03e11ca --- /dev/null +++ b/proverc @@ -0,0 +1 @@ +-rj5 --timer -- cgit v1.2.3-54-g00ecf