reworked deletion
.gdbinit
Merge branch 'sw.nohom.leftgb', remote branch 'origin/sw.nohom.leftgb' into sw.nohom.leftgb

Conflicts:
	Singular/.gdbinit