Grazie Alberto, in effetti mi sono accorto solo adesso leggendo il tuo post che il carattere tilde viene rappresentato sulle tastiere dei computer con due simboli diversi, quindi ho cambiato le istruzioni della guida, vedi il mio post sopra.
Grazie Alberto, in effetti mi sono accorto solo adesso leggendo il tuo post che il carattere tilde viene rappresentato sulle tastiere dei computer con due simboli diversi, quindi ho cambiato le istruzioni della guida, vedi il mio post sopra.