diff --git a/config.public.json b/config.public.json index b451188..fc18dd1 100644 --- a/config.public.json +++ b/config.public.json @@ -75,6 +75,7 @@ "peti", "primeos", "profpatsch", + "prusnak", "puffnfresh", "rasendubi", "rbvermaa",