2023-10-15 11:07:31 +02:00
|
|
|
[submodule "bot/src/bot/config"]
|
|
|
|
|
path = bot/src/bot/config
|
2023-10-13 17:10:00 +02:00
|
|
|
url = https://git.sh-edraft.de/sh-edraft.de/sh_discord_bot.config.git
|
2023-10-15 11:07:31 +02:00
|
|
|
[submodule "bot/src/bot_api/config"]
|
|
|
|
|
path = bot/src/bot_api/config
|
2023-10-13 17:10:00 +02:00
|
|
|
url = https://git.sh-edraft.de/sh-edraft.de/sh_discord_bot.api.config.git
|
2023-10-15 11:07:31 +02:00
|
|
|
[submodule "bot/docker"]
|
|
|
|
|
path = bot/docker
|
2023-10-13 17:10:00 +02:00
|
|
|
url = https://git.sh-edraft.de/sh-edraft.de/sh_discord_bot.docker.git
|
