diff --git a/config.public.json b/config.public.json index 36ffe2c..c7b0081 100644 --- a/config.public.json +++ b/config.public.json @@ -72,6 +72,7 @@ "peti", "primeos", "profpatsch", + "prusnak", "puffnfresh", "rasendubi", "rbvermaa",