[glossario] undo, redo, revert, reload -> annulla, ripeti, ripristina, ricarica

[Emanuele Aina]

Francesco Marletta approvò:

>>Rileggendo le discussioni per le ultime modifiche al glossario Luca ha
>>delineato:
>>
>>undo, to   -> annullare
>>redo, to   -> ripetere
>>revert, to -> ripristinare
>>reload, to -> ricaricare
>>
>>Dite che è il caso di glossariarle?
> 
> Io direi di si

Fatto ora.

-- 
Buongiorno.
Complimenti per l'ottima scelta.