Skip to content

Logger: Add double time in timestamp

Loic Hausammann requested to merge logger_time into master

Implement the first step of #482 (closed) which consists in adding the time (in double) inside the timestamps in order to deal with cosmology

Merge request reports