Gruppo Utilizzatori Italiani di TeX
Grazie Elrond, avevo provato git pull ma ho ottenuto un errore che solo dopo ho capito essere nella stringa che definiva l’url del repo. Un bug di programmazione che mi aveva indotto a pensare che git pull non funzionava. Grazie ancora. R.