diff doc/check-seclevel.py @ 31093:15d6488554b9

ui: extract low level part of 'write_err' in its own method Same as for 'write' and '_write' we needs it available for some of the color logic.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Fri, 24 Feb 2017 19:53:41 +0100
parents d83ca854fa21
children e9f456183402
line wrap: on
line diff