diff doc/docchecker @ 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 c9ab5a0bc7c5
children 9bfbb9fc5871
line wrap: on
line diff