diff doc/10_1_general.html @ 694:a3218946bd2d

Sort out log_printf() vs printf_term() mix up.
author zas_
date Tue, 20 May 2008 08:14:35 +0000
parents e0d0593d519e
children 1b01410e6860
line wrap: on
line diff