diff settings.c @ 405:0d2d897a6558 src

logs belong to stderr, not stdout; patch by John Stebbins
author nicodvb
date Tue, 01 Jun 2010 10:02:38 +0000
parents 9c5aef10d165
children
line wrap: on
line diff