Skip to content

mainUtils: match readline behavior when ABC_USE_READLINE is undefined#514

Merged
alanminko merged 1 commit into
berkeley-abc:masterfrom
maliberty:fix-non-readline-prompt-pipe
Jun 5, 2026
Merged

mainUtils: match readline behavior when ABC_USE_READLINE is undefined#514
alanminko merged 1 commit into
berkeley-abc:masterfrom
maliberty:fix-non-readline-prompt-pipe

Commits

Commits on Jun 5, 2026