Giulia pushed to gui-devel at 12Parsec/bananaSPLIT

Giulia
Sat, 14 Dec 2019 15:53:07 +0100

158a427658909d2792bfaaccd384f57bafddf0e2 Tolto opzione di rendere predefinite le cartelle (messe da un'altra