Refresh detailed output in command-line tools to refer to histories - #1151

Refresh detailed output in command-line tools to refer to histories#1151

tturocy merged 4 commits into

mastergambitproject/gambit:masterfrom

dev_verbosecligambitproject/gambit:dev_verbosecliCopy head branch name to clipboard