Feature/mars timetag#159

Open

rdosinski wants to merge 13 commits intoecmwf:feature/mars-timetagfrom

rdosinski:feature/mars-timetag

Commits on Aug 22, 2023

Commits on Aug 29, 2023

Commits on Sep 1, 2023

read timeprop concept in section.4.def
rdosinski
committed

Commits on Sep 4, 2023

unified avg / mean
rdosinski
committed