Browse files

Add .proverc

  • Loading branch information...
1 parent 7e745b8 commit c1038eb9cff505c2e3932c866b8bc4b477a52a0d Fuji Goro committed Nov 9, 2011
Showing with 9 additions and 0 deletions.
  1. +1 −0 .gitignore
  2. +8 −0 .proverc
View
1 .gitignore
@@ -2,6 +2,7 @@ Text-Xslate-*
.*
!.gitignore
!.shipit
+!.proverc
*~
*.o
*.obj
View
8 .proverc
@@ -0,0 +1,8 @@
+--color
+--merge
+--timer
+--recurse
+--blib
+-w
+
+

0 comments on commit c1038eb

Please sign in to comment.