[GUG] Aggiunto nuovo comando
[GUG] Aggiunto nuovo comando
Merge branch 'master' of https://github.com/ProTechnology/d4a3873fffbe4ed53c0d96aecb0ca89476784ea408d278614c507e6e7bff9602
Merge branch 'master' of https://github.com/ProTechnology/d4a3873fffbe4ed53c0d96aecb0ca89476784ea408d278614c507e6e7bff9602
Scritto script compilazione e verifica latex