ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix error/warning printing as links

pull/6781/head
Jimmy Brisson 2018-04-26 11:30:12 -05:00
parent 0bbf1a26af
commit 8688af057f
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
tools/notifier/term.py
View File

@ -17,6 +17,7 @@ from __future__ import print_function, division, absolute_import
import re import re
import sys import sys
from os import getcwd
from os.path import basename from os.path import basename
from . import Notifier from . import Notifier