diff frontends/src/tools/misc.py @ 2188:052d560d0dce

jp (base): replaced log.warning by stderr prints
author Goffi <goffi@goffi.org>
date Sun, 12 Mar 2017 23:32:43 +0100
parents 2daf7b4c6756
children 1dfc5516dead
line wrap: on
line diff