dist.ini: disable POD coverage

ghedo · Jun 8, 2012 · 943dfe7 · 943dfe7
1 parent 5301183
commit 943dfe7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dist.ini b/dist.ini
@@ -5,3 +5,4 @@ copyright_holder = Alessandro Ghedini
 copyright_year   = 2011
 
 [@Author::ALEXBIO]
+pod_coverage = 0