diff options
Diffstat (limited to '.proverc')
-rw-r--r-- | .proverc | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.proverc b/.proverc deleted file mode 100644 index ad83f73..0000000 --- a/.proverc +++ /dev/null @@ -1,2 +0,0 @@ ---lib ---recurse |