Adding server_type for #20

2022-05-26 19:18:40 -04:00
parent d5dc804f60
commit 95835fa862
1 changed files with 1 additions and 0 deletions
--- a/config.ini.dist
+++ b/config.ini.dist
@@ -70,5 +70,6 @@ key =
 muc_name =
 muc_password = 
 muc_server =
+server_type =

 [friends]