Revision 0745d40b4bc1a424f646f635955ded9067c269f6

Committed on 05/12/2018 5:24 am by Pierandrea Della Putta <pierandrea@gmail.com> [GitHub Diff]

aggiunta possibilità di inserire un range per la scelta delle sostituzioni da fare