julia
Added warning message when ENV["TERM"]=="dumb". Resolves #9093
#9361
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
Added warning message when ENV["TERM"]=="dumb". Resolves #9093
#9361
tkelman
merged 1 commit into
JuliaLang:master
from
TravisBarryDick:warn_dumb_term
tkelman
added
backport pending
Added warning message when ENV["TERM"]=="dumb". Resolves #9093
7d40f7d1
TravisBarryDick
force pushed
from
6d88d7df
to
7d40f7d1
11 years ago
tkelman
merged
fbe241ef
into master
11 years ago
TravisBarryDick
deleted the warn_dumb_term branch
11 years ago
tkelman
removed
backport pending
Login to write a write a comment.
Login via GitHub
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub