Fossil

Fix the fossil_print() interface to use the internal printf() implementation
(which we control) rather than the system printf() since might vary from
one platform to the next. Ticket [6883bdd1eff926009c]

Fix the fossil_print() interface to use the internal printf() implementation
(which we control) rather than the system printf() since might vary from
one platform to the next. Ticket [6883bdd1eff926009c]check-in: d394120c user: drh tags: trunk