diff TOOLS/mpconsole @ 7627:382b28368402

DPRINTF -> mp_msg() patch by Tobias Diedrich <td@sim.uni-hannover.de>
author arpi
date Sun, 06 Oct 2002 17:31:36 +0000
parents a451ba84410d
children a818bbab1525
line wrap: on
line diff