Use zint for numbers in update statistics.
authorAdam Dickmeiss <adam@indexdata.dk>
Wed, 6 Dec 2006 22:52:38 +0000 (22:52 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Wed, 6 Dec 2006 22:52:38 +0000 (22:52 +0000)

No differences found