Skip to content

Record stdio source independently of readline history#4444

Open
pzinn wants to merge 1 commit into
Macaulay2:developmentfrom
pzinn:history
Open

Record stdio source independently of readline history#4444
pzinn wants to merge 1 commit into
Macaulay2:developmentfrom
pzinn:history

Record stdio source independently of readline history

dae0081
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

8 warnings
autotools-macos-15-default
succeeded Jun 13, 2026 in 1h 9m 42s