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

Hi Carlos, okay, committed with r591. Gerd ________________________________________ Von: mkgmap-dev <mkgmap-dev-bounces@lists.mkgmap.org.uk> im Auftrag von Carlos Dávila <cdavilam@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.