Use machine-readable time diff format in CSV output
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 18 Apr 2014 18:33:31 +0000 (18:33 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 18 Apr 2014 18:33:31 +0000 (18:33 +0000)
commit279743a4a0bcda0eeebf165713e0fe1827b686fd
treebfebf5873a2141baaba90150334a95160cc7c178
parentfd88729e9daf4543ef4b7a2531fce3c44dc69e3d
Use machine-readable time diff format in CSV output

This fixes #7.
src/Stats.hs
tests/small_stats_csv.out