Idris: differenze tra le versioni

Nessun cambiamento nella dimensione ,  1 anno fa
m
Annullate le merdifiche di Software3928.xyz (rosica), riportata alla versione precedente di AutoImport
m (Annullate le modifiche di PRE01 (discussione), riportata alla versione precedente di Marlaist)
Etichetta: Rollback
m (Annullate le merdifiche di Software3928.xyz (rosica), riportata alla versione precedente di AutoImport)
Etichetta: Rollback
(9 versioni intermedie di 8 utenti non mostrate)
(Nessuna differenza)