diff src/ui_menu.c @ 673:fbebf5cf4a55

Do not use printf() directly but use new wrapper function log_printf() instead.
author zas_
date Fri, 16 May 2008 12:16:49 +0000
parents 985fdfebd89e
children 1646720364cf
line wrap: on
line diff