Anders Blomdell
Clone of official tools
Diff: settings.py
- Revision:
- 22:9e85236d8716
- Parent:
- 20:835f6355470d
- Child:
- 31:8ea194f6145b
--- a/settings.py Fri Jul 15 22:58:15 2016 +0100
+++ b/settings.py Sat Jul 16 00:34:03 2016 +0100
@@ -51,6 +51,10 @@
# mbed.org username
MBED_ORG_USER = ""
+CLI_COLOR_MAP = {
+ "warning": "yellow",
+ "error" : "red"
+}
##############################################################################
# User Settings (file)