julia
Added warning message when ENV["TERM"]=="dumb". Resolves #9093
#9361
Merged

Added warning message when ENV["TERM"]=="dumb". Resolves #9093 #9361

TravisBarryDick
TravisBarryDick
timholy
tkelman
tkelman
TravisBarryDick
tkelman
tkelman
TravisBarryDick
tkelman tkelman added backport pending
TravisBarryDick Added warning message when ENV["TERM"]=="dumb". Resolves #9093
7d40f7d1
TravisBarryDick TravisBarryDick force pushed from 6d88d7df to 7d40f7d1 11 years ago
TravisBarryDick
tkelman
tkelman tkelman merged fbe241ef into master 11 years ago
TravisBarryDick TravisBarryDick deleted the warn_dumb_term branch 11 years ago
tkelman
tkelman tkelman removed backport pending

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone