From 04f0afbc9a833e5197159e61e28f95ac8dde0c9d Mon Sep 17 00:00:00 2001
From: Specoolazius <sweetgreen@freenet.de>
Date: Thu, 31 Mar 2022 15:27:14 +0200
Subject: [PATCH] commented out not necessary args

---
 bot/config/config-example.ini | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/bot/config/config-example.ini b/bot/config/config-example.ini
index 24a6796..84e55ea 100644
--- a/bot/config/config-example.ini
+++ b/bot/config/config-example.ini
@@ -1,13 +1,13 @@
 # These are the settings you need to configure.
 # Rename this file to "config.ini"
+# remove ; to modify further options
 
 [discord]
 token =
 
 [mcserver]
-# default port is 25565
 server_address =
-server_port = 25565
+; server_port = 25565
 
 [perms]
 # These users are admins and have access to all commands
@@ -16,7 +16,7 @@ admin_ids =
 role_ids =
 
 # these commands can be executed by non admins
-start = true
-stop = false
-status = true
-dev_commands = false
+; start = true
+; stop = false
+; status = true
+; dev_commands = false