remove Gundo settings