-
Alessandro Rubini authored
We have not been using mprintf for ages now, and it's better for the code to explicitly call pp_printf, so people is aware of it. We might "#define printf pp_printf", but currently we'd better not. Maybe when we turn this into a real operating system, next millennium... Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
9d85b55f
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
monitor_ppsi.c |