dist.ini: update repo name again

ghedo · Jul 19, 2012 · 00a5962 · 00a5962
1 parent e05553b
commit 00a5962
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dist.ini b/dist.ini
@@ -5,5 +5,5 @@ copyright_holder = Alessandro Ghedini
 copyright_year   = 2011
 
 [@Author::ALEXBIO]
-repo         = p5-App-gist
+repo         = gist
 pod_coverage = 0