[debug] Rename xDbgPrint to WvDebugPrint
authorShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Mon, 3 Jan 2011 07:13:52 +0000 (02:13 -0500)
committerShao Miller <Shao.Miller@yrdsb.edu.on.ca>
Mon, 3 Jan 2011 07:13:52 +0000 (02:13 -0500)
commitb8b89aa565fa23d1c9d0b2cbedcb2cce0770e63c
treead2ee983997b1f1c62b37b5727d1ebfe53671a38
parent287a79f4d3867b487f143db0de1ced74af71f0b8
[debug] Rename xDbgPrint to WvDebugPrint

And some minor, cosmetic touch-ups to the header.
src/include/debug.h
src/winvblock/debug.c