change distrub. name

2016-03-18 15:17:15 +02:00
parent 9b7d5347dc
commit e5b626d53f
5 changed files with 12 additions and 12 deletions
@@ -1 +1 @@
-36c1dde11c6333564f9b82d48687591a3388586c
+7555d73fddffc84e0afcc6cf12f28b3916ea9794