Save on fpn formatting, and needless subsecond precision
commitcaaaf55c78129ba4df0e285ab560338ee147bfc6
authormalc <av1474@comtv.ru>
Wed, 16 Jul 2014 18:33:04 +0000 (16 22:33 +0400)
committermalc <av1474@comtv.ru>
Wed, 16 Jul 2014 18:33:04 +0000 (16 22:33 +0400)
treeb19e1d16bf0ce51d3f6522d302fe2493d3479268
parent9f611c1680fb053ecd5daa79946cd08b27699713
Save on fpn formatting, and needless subsecond precision
config.ml