From 664a45383b5ec021fe65e7c603fc72b7dcb9a846 Mon Sep 17 00:00:00 2001 From: Dennis Klein <github@dnns01.de> Date: Tue, 13 Oct 2020 21:14:34 +0200 Subject: [PATCH] Rename fernuni-bot.py to fernuni_bot.py --- fernuni-bot.py => fernuni_bot.py | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename fernuni-bot.py => fernuni_bot.py (100%) diff --git a/fernuni-bot.py b/fernuni_bot.py similarity index 100% rename from fernuni-bot.py rename to fernuni_bot.py -- GitLab