Preserve Gist mode with statistics#232

zayenz merged 3 commits into

mainGecode/gecode:mainfrom

feature/preserve-gist-modeGecode/gecode:feature/preserve-gist-modeCopy head branch name to clipboard