Record stdio source independently of readline history#4444

pzinn wants to merge 1 commit into

Macaulay2:developmentMacaulay2/M2:developmentfrom

pzinn:historypzinn/M2:historyCopy head branch name to clipboard