[mkgmap-dev] Change splitter Total time taken format the same than mkgmap

Fri Mar 9 14:32:26 GMT 2018

Hi Carlos,

okay, committed with r591.

Gerd

________________________________________
Von: mkgmap-dev <mkgmap-dev-bounces at lists.mkgmap.org.uk> im Auftrag von Carlos Dávila <cdavilam at orangecorreo.es>
Gesendet: Freitag, 9. März 2018 13:12:45
An: Development list for mkgmap
Betreff: [mkgmap-dev] Change splitter Total time taken format the same than     mkgmap

Attached is a patch that sets the same time format that was recently
changed for mkgmap. I just copied the changes from mkgmap (I'm not a
developer), so please check if it's correct before commit.