diff options
| author | Jesse Luehrs <doy@tozt.net> | 2012-11-07 15:03:45 -0600 |
|---|---|---|
| committer | Jesse Luehrs <doy@tozt.net> | 2012-11-07 21:38:16 -0600 |
| commit | 176827eaa225fac773d3d25f812940b9fc45793d (patch) | |
| tree | 6003ce83c489ef2da6569988b5db87015119d376 /proverc | |
| parent | db6ff908e88e24ac8b4cea868dfffb1592a6646a (diff) | |
| download | conf-176827eaa225fac773d3d25f812940b9fc45793d.tar.gz conf-176827eaa225fac773d3d25f812940b9fc45793d.zip | |
move prove configuration to proverc
Diffstat (limited to 'proverc')
| -rw-r--r-- | proverc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +-rj5 --timer |