diff --git a/config/settings.properties b/config/settings.properties index 84c11bce..d3b91dae 100644 --- a/config/settings.properties +++ b/config/settings.properties @@ -1,7 +1,7 @@ -#Tue Sep 29 14:05:44 CEST 2020 +#Tue Oct 20 10:50:07 CEST 2020 pgroup=p17274 proposal= proposer=bl-dev prefix= -sample=test +sample=none authors=Matthias Muntwiler