debug(): format timestamps with 3 digits, e.g. 0.1 -> 0.100
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 19 Dec 2013 13:29:29 +0000 (13:29 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 19 Dec 2013 13:29:29 +0000 (13:29 +0000)

No differences found