Rename professor to professor.txt

This commit is contained in:
Roger Clotet 2024-04-28 14:33:47 +02:00 committed by GitHub
parent 72f88482cf
commit d5f3ff919d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194