Skip to content

Allow dismissing a disconnected terminal w/ <esc>#819

Merged
foot merged 1 commit intomasterfrom 818-close-disconnected-pipe-with-escJan 19, 2016

Commits

Commits on Jan 14, 2016