[Gruppo-doc] RigaDiComando vs Terminale

[Alessandro Viprati]

Il 13/01/2017 19:32, Paolo Garbin ha scritto:
> Il 13/01/2017 19:12, Jeremie Tamburini ha scritto:
>> Salve,
>> In questo periodo di restyling e razionalizzazioni varie, come da
>> titolo, mi è presa la smania di rinominare la ben conosciuta
>> "AmministrazioneSistema/RigaDiComando" in
>> "AmministrazioneSistema/Terminale".
> +1, concordo con la tua scelta.

+1 anche per me, in effetti era ora.

Ciao
AV
_______________________________________________
Gruppo-doc mailing list
Gruppo-doc a liste.ubuntu-it.org
http://liste.ubuntu-it.org/cgi-bin/mailman/listinfo/gruppo-doc