diff mxtool/mx.py @ 13773:e7c2351ed7d5

Throw-away speculation logs should not be used. Just use null instead
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 27 Jan 2014 16:05:10 +0100
parents 10e6f192631f
children 43c7df32d5ab
line wrap: on
line diff