Giulia pushed to gui-devel at 12Parsec/bananaSPLIT

Giulia
Sat, 14 Dec 2019 15:52:13 +0100

a85c99b51ec7a1436695d84986ea899dc0c0e645 sistemato gitignore secondo tue indicazioni telefoniche.