Rename students to students.txt

This commit is contained in:
Philip Torchinsky 2023-01-19 09:43:42 +02:00 committed by GitHub
parent 8839402ef1
commit 424a8a5c9d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23