julia
Make info & warn colors configurable via ENV
#12754
Merged
Overview
Commits
1
Changes
View On GitHub

Make info & warn colors configurable via ENV #12754

StefanKarpinski merged 1 commit into JuliaLang:master from twadleigh:customize_info/warn_colors
twadleigh
IainNZ
StefanKarpinski
mauro3
stevengj
stevengj
twadleigh
twadleigh twadleigh force pushed from 89148f78 to 2141b676 10 years ago
twadleigh twadleigh changed the title RFC: Make info & warn colors configurable via ENV Make error, info & warn colors configurable via ENV 10 years ago
twadleigh twadleigh force pushed from 2141b676 to 8c5d4df1 10 years ago
twadleigh twadleigh force pushed from 8c5d4df1 to ae01df69 10 years ago
twadleigh twadleigh changed the title Make error, info & warn colors configurable via ENV Make info & warn colors configurable via ENV 10 years ago
twadleigh
twadleigh twadleigh force pushed from ae01df69 to 22b55430 10 years ago
twadleigh twadleigh force pushed from 22b55430 to b25c8ed1 10 years ago
twadleigh
ihnorton
ihnorton reviewed on 2015-10-12
StefanKarpinski
twadleigh
twadleigh twadleigh force pushed from b25c8ed1 to 6da11b02 10 years ago
twadleigh Make info & warn colors configurable via ENV
12cc0d3d
twadleigh twadleigh force pushed from 6da11b02 to 12cc0d3d 10 years ago
StefanKarpinski StefanKarpinski merged ef460740 into master 10 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum