comparison mx.sh @ 4556:1b2abdc91451

Fix an other NPE in CFGPrinterObserver
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 09 Feb 2012 13:21:42 +0100
parents 9a4f210abb5e
children
comparison
equal deleted inserted replaced
4540:f1d3800b59e1 4556:1b2abdc91451