]> git.openstreetmap.org Git - nominatim.git/commitdiff
log progress to stderr instead of stdout, to make use of unbuffered output
authorFrederik Ramm <frederik@remote.org>
Mon, 21 Feb 2011 12:41:44 +0000 (12:41 +0000)
committerFrederik Ramm <frederik@remote.org>
Mon, 21 Feb 2011 12:41:44 +0000 (12:41 +0000)

No differences found