Feature/shell_as_G-Delta-delta-TE#76

davidrs06 wants to merge 3 commits intodaducci:masterdaducci/AMICO:masterfrom

davidrs06:feature/shell_as_G-Delta-deltadavidrs06/AMICO:feature/shell_as_G-Delta-deltaCopy head branch name to clipboard