From 424a8a5c9d7a563b08239b477d358a8ac0f627b1 Mon Sep 17 00:00:00 2001 From: Philip Torchinsky Date: Thu, 19 Jan 2023 09:43:42 +0200 Subject: [PATCH] Rename students to students.txt --- lib/domains/ch/fhnw/{students => students.txt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename lib/domains/ch/fhnw/{students => students.txt} (100%) diff --git a/lib/domains/ch/fhnw/students b/lib/domains/ch/fhnw/students.txt similarity index 100% rename from lib/domains/ch/fhnw/students rename to lib/domains/ch/fhnw/students.txt