Quando entro con l account studente vado su repository-> aggiungi file-> scelgo il file-> metto la descrizione-> e clicco su salva;
Mi dice che il file è stato caricato-> entro con il docente-> mi segnala che c'è un nuovo file-> scarico il file (che però è senza nome)-> il file risultante è "index.php"
Come faccio a caricare correttamente i file nella repository? ci sono restrizioni sulle estenzioni oppure no?
